From 8e6036bf3ff51f8f908dde30021325ea1371dccd Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 27 Dec 2023 19:38:24 -0500 Subject: [PATCH] chore: 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 b41ddeff..f115a713 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -19,7 +19,7 @@ jobs: runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@v2 - - uses: ocaml/setup-ocaml@v2 + - uses: ocaml/setup-ocaml@master with: ocaml-compiler: ${{ matrix.ocaml-compiler }} allow-prerelease-opam: true