CI version

Kaptch · Kaptch · commit c6c76ccb6de0 · 2025-05-30T09:12:05.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -18,8 +18,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:8.17'
-          - 'coqorg/coq:8.18'
+          - 'coqorg/coq:8.20'
       max-parallel: 4
       fail-fast: false
 
