diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index dfcef38..fc42dfe 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -32,7 +32,7 @@ jobs: uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@e32b06a3e831ff2fbc6f08cf35be2085e3918014 # v3 + uses: ocaml/setup-ocaml@605a7e998e76e035b82c14d618a6e1010732c4ce # v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} dune-cache: true