From 116916a5e48b2e56331da426664bd94246ddfa4b Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Sun, 19 Nov 2023 16:13:56 +0100
Subject: [PATCH] unlocked: Only test termination in config with Apron
 (References #1093)

---
 .github/workflows/unlocked.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
index 22e1417ea4..990b7cfb49 100644
--- 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