From 5840ba0981528f2dcf5e5e102c0873ae17cdfc1a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 1 Jun 2023 20:54:40 -0400 Subject: [PATCH] ci: try 4.05 again --- .github/workflows/main.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6eda15e4..b82a1da0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -17,8 +17,7 @@ jobs: #- macos-latest #- windows-latest ocaml-compiler: - # FIXME: re-enable 4.05 somehow - #- '4.05' + - '4.05' - '4.14' - '5.0'