Increase dune to version 3.8

UniMath · Aug 17, 2024 · 9f46247 · 9f46247
1 parent a8c8c86
commit 9f46247
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-schools.yml b/.github/workflows/build-schools.yml
@@ -22,7 +22,7 @@ on:
 env:
   # Set this to the version of Coq that should be used.
   coq-version: 8.19.0
-  dune-version: 3.5.0
+  dune-version: 3.8.0
   DUNE_CACHE_STORAGE_MODE: copy
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel