Maurizio Vitale 17631d0b48
Stop PR in case of forbidden label (#8508)
* stop PR in case of forbidden label

* sync PR

* add tmp workflow

* add tmp workflow

* add tmp workflow

* checkout repo
2023-04-24 16:10:11 +01:00
..
2023-03-14 18:04:44 +01:00