Remove a trailing part from the version number

UniMath · Aug 17, 2024 · f86991b · f86991b
1 parent f4d49a9
commit f86991b
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.20
   dune-version: 3.5.0
   DUNE_CACHE_STORAGE_MODE: copy