Bump MiniZinc test to version 2.8.3

potassco · May 10, 2024 · 9f0c5c5 · 9f0c5c5
1 parent 9f9969f
commit 9f0c5c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/minizinc-test.yml b/.github/workflows/minizinc-test.yml
@@ -9,7 +9,7 @@ jobs:
       matrix:
         os: [ubuntu-latest]
         clingconversion: [5.2.1]
-        minizincversion: [2.8.1]
+        minizincversion: [2.8.3]
 
     steps:
       - uses: actions/checkout@v2