From bc6eca86e5624b32ca58fb0b5e43e7e15f188f58 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonin=20D=C3=A9cimo?= Date: Tue, 3 Sep 2024 10:42:08 +0200 Subject: [PATCH] gha: use the latest OCaml 5 --- .github/workflows/main.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1635b323..c8ef012e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -19,7 +19,7 @@ jobs: - ubuntu-latest ocaml-compiler: - 4.14.x - - 5.2.x + - 5 runs-on: ${{ matrix.os }} @@ -64,7 +64,7 @@ jobs: - ubuntu-latest ocaml-compiler: - 4.14.x - - 5.2.x + - 5 rsync_mode: # - rsync_hardlink_unsafe - rsync_hardlink @@ -109,7 +109,7 @@ jobs: # - windows-latest # ocaml-compiler: # - 4.14.x - # - 5.2.x + # - 5 # runs-on: ${{ matrix.os }} @@ -137,7 +137,7 @@ jobs: - ubuntu-latest ocaml-compiler: - 4.14.x - - 5.2.x + - 5 runs-on: ${{ matrix.os }}