diff options
| author | Donatas Abraitis <donatas@opensourcerouting.org> | 2023-02-07 20:55:31 +0100 |
|---|---|---|
| committer | Donatas Abraitis <donatas@opensourcerouting.org> | 2023-02-07 20:55:31 +0100 |
| commit | 0a18c855fd43110671ad1faa2335e102b4bb8a72 (patch) | |
| tree | 4a1185367692d5ad7fd13d8f3f4c16789c5417d4 /.github | |
| parent | Merge pull request #12756 from opensourcerouting/fix/add_build_to_commits (diff) | |
| download | frr-0a18c855fd43110671ad1faa2335e102b4bb8a72.tar.xz frr-0a18c855fd43110671ad1faa2335e102b4bb8a72.zip | |
tools: Revalidate commits when PR is updated
Trigger GH action also if labeled, unlabeled.
Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/commitlint.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml index a91c6174a..8ed60aee3 100644 --- a/.github/workflows/commitlint.yml +++ b/.github/workflows/commitlint.yml @@ -5,6 +5,9 @@ on: types: - opened - reopened + - synchronize + - labeled + - unlabeled jobs: lint: |