We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d248a7d commit 01ce421Copy full SHA for 01ce421
.github/workflows/coq-opam-package.yml
@@ -43,7 +43,7 @@ jobs:
43
44
steps:
45
- name: Set up OCaml
46
- uses: ocaml/setup-ocaml@v2
+ uses: ocaml/setup-ocaml@v3
47
with:
48
ocaml-compiler: ${{ matrix.os.ocaml-compiler }}
49
opam-repositories: |-
.github/workflows/coq-windows.yml
@@ -41,7 +41,7 @@ jobs:
41
42
python-version: 3.x
ocaml-compiler: 4.13.1
opam-repositories: |
0 commit comments