unlocked: Only test termination in config with Apron (References #1093)

goblint · Nov 19, 2023 · 116916a · 116916a
1 parent 1f4d8be
commit 116916a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -93,6 +93,7 @@ jobs:
         run: ruby scripts/update_suite.rb group apron-mukherjee -s
 
       - name: Test apron termination regression # skipped by default but CI has apron, so explicitly test group (which ignores skipping -- it's now a feature!)
+        if: ${{ matrix.apron }}
         run: ruby scripts/update_suite.rb group termination -s
 
       - name: Test regression cram