From 9f0c5c5efd4e4512c927a10e0de46677c5b1ba45 Mon Sep 17 00:00:00 2001 From: Sven Thiele Date: Fri, 10 May 2024 12:10:29 +0200 Subject: [PATCH] Bump MiniZinc test to version 2.8.3 --- .github/workflows/minizinc-test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/minizinc-test.yml b/.github/workflows/minizinc-test.yml index d7995d5..0a3a589 100644 --- 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