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

CI: re-add "synchronize" event to check-labels

This commit is contained in:
Kaspar Schleiser 2023-01-13 08:30:31 +01:00
parent 1dcccdc99a
commit ce543294dc

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: