From f310bc577190ea20fd8a61b8cef12fce36253e20 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 3 Jan 2025 21:22:05 -0500 Subject: [PATCH] more 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 b34d77c9..ac0df631 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -52,7 +52,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