run all integration tests when github setup changes

runtimeverification · Apr 17, 2024 · 47bb41c · 47bb41c
1 parent 125557d
commit 47bb41c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -124,6 +124,7 @@ jobs:
               - 'kore-rpc-types/**'
             booster:
               - 'booster/**'
+              - scripts/booster-integration-tests.sh
             dev_tools:
               - 'dev-tools/**'
             project:
@@ -133,7 +134,7 @@ jobs:
               - '*.mk'
               - 'flake.nix'
               - 'deps/*'
-              - scripts/booster-integration-tests.sh
+              - '.github/'
             kore_tests:
               - 'test/**'