diff options
| author | Andreas Källberg <anka.213@gmail.com> | 2023-09-11 13:03:05 +0200 |
|---|---|---|
| committer | Andreas Källberg <anka.213@gmail.com> | 2023-09-11 13:03:05 +0200 |
| commit | 88db715c3d93b15341b055469f6d470de9273616 (patch) | |
| tree | 818cab767c67c4f154a4651b1e04c26c1dc388db /.github/workflows | |
| parent | 003ab57576c5f1fccb2a7e712bf342c771ab7fec (diff) | |
Fix ghc-7.10.3 build in gh-actions
ghc-7.10.3 is not supported in the latest builder, so we
need an older version of ubuntu for it to work
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build-all-versions.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build-all-versions.yml b/.github/workflows/build-all-versions.yml index d7cac5ce4..eea778daa 100644 --- a/.github/workflows/build-all-versions.yml +++ b/.github/workflows/build-all-versions.yml @@ -62,7 +62,7 @@ jobs: stack: name: stack / ghc ${{ matrix.ghc }} - runs-on: ubuntu-latest + runs-on: ${{ matrix.ghc == '7.10.3' && 'ubuntu-2004' || 'ubuntu-latest' }} strategy: matrix: stack: ["latest"] |