From 7a845b9b280ecfc9ee9229c3f759f8b191c7a514 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Fri, 20 Jun 2025 16:09:01 +0200 Subject: [PATCH] fix ci --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 5cfb9e1..ec4e6bd 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -11,7 +11,7 @@ jobs: fail-fast: false matrix: ocaml-version: [5.2.1] - dune-version: [3.17.2] + dune-version: [3.19.1] camlp5-version: [8.03.01] hol-light-version: [3.0.0] hol-light-commit: [master] # Release-3.0.0]