diff --git a/.github/workflows/deploy-api-docs.yml b/.github/workflows/deploy-api-docs.yml index 32bad432..90a6d2ff 100644 --- a/.github/workflows/deploy-api-docs.yml +++ b/.github/workflows/deploy-api-docs.yml @@ -21,7 +21,7 @@ jobs: steps: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 - - uses: ocaml/setup-ocaml@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 with: ocaml-compiler: "4.14.1" dune-cache: true diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 7b1e6730..812b495c 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -29,7 +29,7 @@ jobs: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 # See https://github.com/ocaml-opam/opam-repository-mingw#updates for `opam-repositories`. - - uses: ocaml/setup-ocaml@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 with: ocaml-compiler: "4.14.1" opam-repositories: | @@ -67,12 +67,12 @@ jobs: steps: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 - - uses: ocaml/setup-ocaml@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 with: ocaml-compiler: "4.14.1" dune-cache: true - - uses: ocaml/setup-ocaml/lint-fmt@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml/lint-fmt@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 lint_docs: runs-on: ubuntu-latest @@ -80,12 +80,12 @@ jobs: steps: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 - - uses: ocaml/setup-ocaml@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 with: ocaml-compiler: "4.14.1" dune-cache: true - - uses: ocaml/setup-ocaml/lint-doc@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml/lint-doc@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 test_coq_files: runs-on: ubuntu-latest @@ -93,7 +93,7 @@ jobs: steps: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 - - uses: ocaml/setup-ocaml@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 with: ocaml-compiler: "4.14.1" dune-cache: true @@ -112,12 +112,12 @@ jobs: steps: - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 - - uses: ocaml/setup-ocaml@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 with: ocaml-compiler: "4.14.1" dune-cache: true - - uses: ocaml/setup-ocaml/lint-opam@8ea37830f3b2c9f54178d255808ae377b5758062 # v2.2.9 + - uses: ocaml/setup-ocaml/lint-opam@8cc6339f55862749298d198ef84788b8d6acdacc # v2.2.10 docker: runs-on: ubuntu-latest