From 9f462477619d2483434bdb71c86beac4ba103424 Mon Sep 17 00:00:00 2001 From: Tempestas Ludi Date: Sat, 17 Aug 2024 19:42:18 +0200 Subject: [PATCH] Increase dune to version 3.8 --- .github/workflows/build-schools.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-schools.yml b/.github/workflows/build-schools.yml index 0bcbdfa..79c0c34 100644 --- 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