add gambit v4.9.4 to github workflow matrix

mighty-gerbils · Jan 10, 2022 · 4d594ce · 4d594ce
1 parent 1911001
commit 4d594ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,7 +6,7 @@ jobs:
     strategy:
       fail-fast: false  # if one fails, do not cancel the other
       matrix:
-        gambit-version: ['v4.9.3', 'master']
+        gambit-version: ['v4.9.4', 'v4.9.3', 'master']
     steps:
       - uses: actions/checkout@v2
       - name: Install dependencies