1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

gh-actions/check-labels: unstuck on force push

This commit is contained in:
Martine Lenders 2020-10-26 15:32:08 +01:00
parent a13a2d7bfc
commit 7b9902464a
No known key found for this signature in database
GPG Key ID: CCD317364F63286F

View File

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