tools: Revalidate commits when PR is updated

Trigger GH action also if labeled, unlabeled.

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
This commit is contained in:
Donatas Abraitis 2023-02-07 21:55:31 +02:00
parent 48d4629d1b
commit 0a18c855fd

View File

@ -5,6 +5,9 @@ on:
types:
- opened
- reopened
- synchronize
- labeled
- unlabeled
jobs:
lint: