From 60ace1f93de635feda32171f21b2d79101703a2e Mon Sep 17 00:00:00 2001 From: Tempestas Ludi Date: Sat, 17 Aug 2024 18:03:12 +0200 Subject: [PATCH] Revert to the newest existing version of coq: 8.19.0, instead of the future 8.20.0 --- .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 fa506cf..24b632e 100644 --- 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