fix ci

logsem · Dec 3, 2024 · 8e91d38 · 8e91d38
1 parent 987b5bb
commit 8e91d38
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -14,7 +14,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - mathcomp/mathcomp:latest-coq-8.19
+          - mathcomp/mathcomp:2.2.0-coq-8.19
       max-parallel: 4
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false