diff --git a/.cppcheck.supp b/.cppcheck.supp
index 5513027..d355204 100644
--- a/.cppcheck.supp
+++ b/.cppcheck.supp
@@ -1,3 +1,8 @@
+unusedFunction:pro/*.h
+
 unusedFunction:tst/asserts.h
 unusedFunction:tst/util.c
 unusedFunction:tst/wrap-*.c
+
+# TODO use --check-level=exhaustive once available in CI
+normalCheckLevelMaxBranches
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d7c0b9d..74e201c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -6,6 +6,7 @@ on:
   push:
     branches:
       - master
+  workflow_dispatch:
 jobs:
   all:
     runs-on: ubuntu-latest