Revert to the newest existing version of coq: 8.19.0, instead of the …

…future 8.20.0
UniMath · Aug 17, 2024 · 60ace1f · 60ace1f
1 parent f4d49a9
commit 60ace1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-schools.yml b/.github/workflows/build-schools.yml
@@ -21,7 +21,7 @@ on:
 
 env:
   # Set this to the version of Coq that should be used.
-  coq-version: 8.20.0
+  coq-version: 8.19.0
   dune-version: 3.5.0
   DUNE_CACHE_STORAGE_MODE: copy