From 3206f63ffe55bb9051782d6f14d4d1deb67697ab Mon Sep 17 00:00:00 2001 From: gwenaelle Date: Mon, 26 Feb 2024 11:30:10 +0100 Subject: [PATCH] 5.1.x it is --- .github/workflows/coverage.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 3f888004e9..69194a46cc 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -19,7 +19,7 @@ jobs: - ubuntu-latest packages: [ '.' ] ocaml-compiler: - - 4.13.x + - 5.1.x runs-on: ${{ matrix.os }}