From d6cbc3fb084513b69c695a5401fa575377d96789 Mon Sep 17 00:00:00 2001 From: Jared Weakly Date: Tue, 12 Jan 2021 15:14:50 -0800 Subject: [PATCH] Update actions to use the latest versions --- .github/workflows/heapster.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/heapster.yml b/.github/workflows/heapster.yml index 89f9c064e9..6069094860 100644 --- a/.github/workflows/heapster.yml +++ b/.github/workflows/heapster.yml @@ -36,7 +36,7 @@ jobs: path: ~/.opam key: ocaml-coqbits-${{ runner.os }}-${{ env.OCAML_VERSION }}-${{ env.SETUP_OCAML_ACTION_VERSION }}-${{ env.COQBITS_VERSION }} - name: Set up ocaml and opam - uses: avsm/setup-ocaml@v1.1.2 + uses: avsm/setup-ocaml@v1 with: ocaml-version: ${{ env.OCAML_VERSION }} - name: Install coq-bits @@ -45,7 +45,7 @@ jobs: opam repo add coq-released https://coq.inria.fr/opam/released opam install --unlock-base -y "coq-bits=$COQBITS_VERSION" - - uses: actions/setup-haskell@v1 + - uses: haskell/actions/setup@v1 id: setup-haskell with: ghc-version: ${{ matrix.ghc }}