riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #15297 from miri64/gh-actions/enh/unstuck-check-labels

Browse Source 
gh-actions/check-labels: unstuck on force push
This commit is contained in:
benpicco 2020-10-26 17:33:05 +01:00 committed by GitHub
commit 67ce9e4db9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/check-labels.yml vendored
View File

@ -1,7 +1,7 @@
name: check-labels name: check-labels
on: on:
pull_request: pull_request:
types: [opened, reopened, labeled, unlabeled] types: [opened, reopened, labeled, unlabeled, synchronize]
pull_request_review: pull_request_review:
types: [submitted, dismissed] types: [submitted, dismissed]
jobs: jobs: