mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-22 03:19:57 +03:00
Include one Ubuntu 20.04 configuration (#1447)
PR #1403 accidentally removed our build coverage for an older Ubuntu LTS configuration. This patch adds in back and ensures that we don't accidentally run the tests on this configuration.
This commit is contained in:
parent
94283f2531
commit
7e2613afa1
13
.github/workflows/ci.yml
vendored
13
.github/workflows/ci.yml
vendored
@ -60,16 +60,21 @@ jobs:
|
||||
matrix:
|
||||
os: [ubuntu-22.04, macos-12, windows-2019]
|
||||
ghc-version: ["8.10.7", "9.0.2", "9.2.4"]
|
||||
run-tests: [true]
|
||||
exclude:
|
||||
- os: windows-2019
|
||||
ghc-version: 9.0.2
|
||||
run-tests: true
|
||||
- os: windows-2019
|
||||
ghc-version: 9.2.4
|
||||
run-tests: true
|
||||
include:
|
||||
# We include one job from an older Ubuntu LTS release to increase our
|
||||
# coverage of possible Linux configurations.
|
||||
- os: ubuntu-22.04
|
||||
# coverage of possible Linux configurations. Since we already run the
|
||||
# tests with the newest LTS release, we won't bother testing this one.
|
||||
- os: ubuntu-20.04
|
||||
ghc-version: 8.10.7
|
||||
run-tests: false
|
||||
outputs:
|
||||
test-lib-json: ${{ steps.test-lib.outputs.targets-json }}
|
||||
env:
|
||||
@ -211,13 +216,13 @@ jobs:
|
||||
if-no-files-found: error
|
||||
retention-days: ${{ needs.config.outputs.retention-days }}
|
||||
|
||||
- if: matrix.ghc-version == '8.10.7'
|
||||
- if: matrix.ghc-version == '8.10.7' && matrix.run-tests
|
||||
uses: actions/upload-artifact@v2
|
||||
with:
|
||||
path: dist/bin
|
||||
name: ${{ runner.os }}-dist-bin
|
||||
|
||||
- if: matrix.ghc-version == '8.10.7'
|
||||
- if: matrix.ghc-version == '8.10.7' && matrix.run-tests
|
||||
uses: actions/upload-artifact@v2
|
||||
with:
|
||||
path: bin
|
||||
|
Loading…
Reference in New Issue
Block a user