From 60e3e7a8684af501ea4ca210c5c82494d228531c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 30 May 2023 23:59:53 -0400 Subject: [PATCH] fix CI --- .github/workflows/main.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6432a697..6eda15e4 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -17,9 +17,10 @@ jobs: #- macos-latest #- windows-latest ocaml-compiler: - - '4.05.x' - - '4.14.x' - - '5.0.x' + # FIXME: re-enable 4.05 somehow + #- '4.05' + - '4.14' + - '5.0' runs-on: ${{ matrix.os }} steps: