[Actions] If we have no labels and we are not monojenkins, fail. (#9963)

This commit is contained in:
Manuel de la Pena 2020-10-26 14:48:07 -04:00 коммит произвёл GitHub
Родитель 98c2abc72d
Коммит 093938e926
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 13 добавлений и 0 удалений

13
.github/workflows/label-checker.yml поставляемый Normal file
Просмотреть файл

@ -0,0 +1,13 @@
on:
pull_request_target:
types: [opened, labeled, unlabeled, synchronize]
jobs:
check_pr_labels:
runs-on: ubuntu-latest
name: Labels verification
# only execute when the user is not our bot and we have no labels
if: ${{ github.event.pull_request.sender.login != 'monojenkins' && github.event.pull_request.labels == '' }}
steps:
- run: echo ::set-output name=status::failure