commit 1ba80c82d886402072512db431d1e1862b6f9325
Author:     Turo Lamminen <turol@iki.fi>
AuthorDate: Wed Jun 8 17:38:00 2022 +0300
Commit:     Turo Lamminen <turol@iki.fi>
CommitDate: Wed Jun 8 17:38:00 2022 +0300

    Run linter action on PR synchronize

    The push action doesn't seem to trigger it
---
 .github/workflows/cpp-linter.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/cpp-linter.yml b/.github/workflows/cpp-linter.yml
index c27f7de9..8225c87a 100644
--- a/.github/workflows/cpp-linter.yml
+++ b/.github/workflows/cpp-linter.yml
@@ -4,7 +4,7 @@ name: cpp-linter

 on:
   pull_request:
-    types: [opened, reopened]  # let PR-synchronize events be handled by push events
+    types: [opened, reopened, synchronize]
   push:

 jobs: