From e341f48eceefeed9d67c8abe75f63ad740dc9cd8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 15 Aug 2024 10:00:17 -0400 Subject: [PATCH] chore: try to 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 6cb1ca0..e4d7b91 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -18,7 +18,7 @@ jobs: ocaml-compiler: - 4.08.x - 4.14.x - - 5.1.x + - 5.01.x runs-on: ${{ matrix.os }}