From d8237d3f11c54cac1bbc66808782238fb9e021ad Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 6 Sep 2024 04:22:36 +0000 Subject: [PATCH] Bump ocaml/setup-ocaml from 2 to 3 (#62) Bumps [ocaml/setup-ocaml](https://github.com/ocaml/setup-ocaml) from 2 to 3. - [Release notes](https://github.com/ocaml/setup-ocaml/releases) - [Changelog](https://github.com/ocaml/setup-ocaml/blob/master/CHANGELOG.md) - [Commits](https://github.com/ocaml/setup-ocaml/compare/v2...v3) --- updated-dependencies: - dependency-name: ocaml/setup-ocaml dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> --- .github/workflows/coq-opam-package.yml | 2 +- .github/workflows/coq-windows.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index e2d63f3798..6774ceb71d 100644 --- a/.github/workflows/coq-opam-package.yml +++ b/.github/workflows/coq-opam-package.yml @@ -43,7 +43,7 @@ jobs: steps: - name: Set up OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.os.ocaml-compiler }} opam-repositories: |- diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index e1da3e6b18..18fbf420c5 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -41,7 +41,7 @@ jobs: with: python-version: 3.x - name: Set up OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: 4.13.1 opam-repositories: |