diff options
| author | John MacFarlane <[email protected]> | 2022-04-04 09:12:36 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-04-04 09:12:36 -0700 |
| commit | fec6ccaa0dc879d696786d2eb5f323f7df3a39ac (patch) | |
| tree | 363e3e4530c68f1a451708d130332c216e9ae93d /.github | |
| parent | 23cffcf898d1f09b5404396720b50824341349d5 (diff) | |
CI: ensure we're using the right version of cabal.
(Add `--set` to `ghcup install`.)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3089135bd..e09425f4a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -78,7 +78,7 @@ jobs: - name: Install cabal/ghc run: | ghcup install ghc --set ${{ matrix.versions.ghc }} - ghcup install cabal ${{ matrix.versions.cabal }} + ghcup install cabal --set ${{ matrix.versions.cabal }} # declare/restore cached things # caching doesn't work for scheduled runs yet |