We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8cf8b45 commit d6cbc3fCopy full SHA for d6cbc3f
.github/workflows/heapster.yml
@@ -36,7 +36,7 @@ jobs:
36
path: ~/.opam
37
key: ocaml-coqbits-${{ runner.os }}-${{ env.OCAML_VERSION }}-${{ env.SETUP_OCAML_ACTION_VERSION }}-${{ env.COQBITS_VERSION }}
38
- name: Set up ocaml and opam
39
- uses: avsm/setup-ocaml@v1.1.2
+ uses: avsm/setup-ocaml@v1
40
with:
41
ocaml-version: ${{ env.OCAML_VERSION }}
42
- name: Install coq-bits
@@ -45,7 +45,7 @@ jobs:
45
opam repo add coq-released https://coq.inria.fr/opam/released
46
opam install --unlock-base -y "coq-bits=$COQBITS_VERSION"
47
48
- - uses: actions/setup-haskell@v1
+ - uses: haskell/actions/setup@v1
49
id: setup-haskell
50
51
ghc-version: ${{ matrix.ghc }}
0 commit comments