From c8e94ef1d5af3fd19ba424ee3db166499514ff17 Mon Sep 17 00:00:00 2001 From: Maxime Levillain Date: Tue, 1 Oct 2024 13:16:46 +0200 Subject: [PATCH] update github workflow --- .github/workflows/workflow.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 99dbffd..dcfde18 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -18,16 +18,16 @@ jobs: - ubuntu-latest - macos-latest ocaml-compiler: - - 4.14.1 + - 4 runs-on: ${{ matrix.os }} steps: - name: Checkout code - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }}