From b822ba9e1c88eda3a0c05767801a858fc9bdc315 Mon Sep 17 00:00:00 2001 From: Andreas Abel Date: Mon, 30 Oct 2023 19:46:32 +0100 Subject: [PATCH] CI: bump GHC to recommended version (9.4.7) (#1075) --- .github/workflows/ci-ubuntu.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index daece42b6b..5129d5ff2b 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -43,7 +43,7 @@ on: env: AGDA_BRANCH: v2.6.4 - GHC_VERSION: 9.2.5 + GHC_VERSION: 9.4.7 CABAL_VERSION: 3.6.2.0 CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS' CACHE_PATHS: | @@ -56,7 +56,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Install cabal - uses: haskell/actions/setup@v2 + uses: haskell-actions/setup@v2 with: ghc-version: ${{ env.GHC_VERSION }} cabal-version: ${{ env.CABAL_VERSION }} @@ -126,7 +126,7 @@ jobs: library-${{ runner.os }}-${{ env.GHC_VERSION }}-${{ env.CABAL_VERSION }}-${{ env.AGDA_BRANCH }}- - name: Put cabal programs in PATH - run: echo "~/.cabal/bin" >> $GITHUB_PATH + run: echo "~/.cabal/bin" >> "${GITHUB_PATH}" - name: Test cubical run: |