From 6d962a70d00b27009dea7c4fefe1fcde5255de47 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 3 Jan 2025 13:10:23 -0500 Subject: [PATCH] grr 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 d1459b78..b34d77c9 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -73,7 +73,7 @@ jobs: steps: - uses: actions/checkout@main - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} dune-cache: true