From f86991b8d696cd46a6d03f3db01ac49c567127a4 Mon Sep 17 00:00:00 2001 From: Tempestas Ludi Date: Sat, 17 Aug 2024 18:01:36 +0200 Subject: [PATCH] Remove a trailing part from the version number --- .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..9091d92 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.20 dune-version: 3.5.0 DUNE_CACHE_STORAGE_MODE: copy