mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
CI: Include a single Ubuntu 18.04 job
This is done purely for the sake of increasing our coverage of Linux when making releases. See #1140 for the motivation. We won't run any of the tests et al. for this job.
This commit is contained in:
parent
83b6cd4120
commit
0bb42af79e
4
.github/ci.sh
vendored
4
.github/ci.sh
vendored
@ -117,14 +117,14 @@ sign() {
|
||||
|
||||
zip_dist() {
|
||||
: "${VERSION?VERSION is required as an environment variable}"
|
||||
name="${name:-"cryptol-$VERSION-$RUNNER_OS-x86_64"}"
|
||||
name="${name:-"cryptol-$VERSION-$OS_TAG-x86_64"}"
|
||||
cp -r dist "$name"
|
||||
tar -cvzf "$name".tar.gz "$name"
|
||||
}
|
||||
|
||||
zip_dist_with_solvers() {
|
||||
: "${VERSION?VERSION is required as an environment variable}"
|
||||
name="${name:-"cryptol-$VERSION-$RUNNER_OS-x86_64"}"
|
||||
name="${name:-"cryptol-$VERSION-$OS_TAG-x86_64"}"
|
||||
sname="${name}-with-solvers"
|
||||
cp "$(which abc)" dist/bin/
|
||||
cp "$(which cvc4)" dist/bin/
|
||||
|
17
.github/workflows/ci.yml
vendored
17
.github/workflows/ci.yml
vendored
@ -68,6 +68,11 @@ jobs:
|
||||
ghc-version: 9.0.2
|
||||
- os: windows-2019
|
||||
ghc-version: 9.2.2
|
||||
include:
|
||||
# We include one job from an older Ubuntu LTS release to increase our
|
||||
# coverage of possible Linux configurations.
|
||||
- os: ubuntu-18.04
|
||||
ghc-version: 8.8.4
|
||||
outputs:
|
||||
test-lib-json: ${{ steps.test-lib.outputs.targets-json }}
|
||||
env:
|
||||
@ -97,9 +102,9 @@ jobs:
|
||||
path: |
|
||||
${{ steps.setup-haskell.outputs.cabal-store }}
|
||||
dist-newstyle
|
||||
key: ${{ env.CACHE_VERSION }}-cabal-${{ runner.os }}-${{ matrix.ghc-version }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc-version)) }}-${{ github.sha }}
|
||||
key: ${{ env.CACHE_VERSION }}-cabal-${{ matrix.os }}-${{ matrix.ghc-version }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc-version)) }}-${{ github.sha }}
|
||||
restore-keys: |
|
||||
${{ env.CACHE_VERSION }}-cabal-${{ runner.os }}-${{ matrix.ghc-version }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc-version)) }}-
|
||||
${{ env.CACHE_VERSION }}-cabal-${{ matrix.os }}-${{ matrix.ghc-version }}-${{ hashFiles(format('cabal.GHC-{0}.config', matrix.ghc-version)) }}-
|
||||
|
||||
- shell: bash
|
||||
run: .github/ci.sh install_system_deps
|
||||
@ -162,15 +167,19 @@ jobs:
|
||||
|
||||
- shell: bash
|
||||
run: |
|
||||
NAME="${{ needs.config.outputs.name }}-${{ runner.os }}-x86_64"
|
||||
NAME="${{ needs.config.outputs.name }}-${{ matrix.os }}-x86_64"
|
||||
echo "NAME=$NAME" >> $GITHUB_ENV
|
||||
.github/ci.sh zip_dist $NAME
|
||||
env:
|
||||
OS_TAG: ${{ matrix.os }}
|
||||
|
||||
- shell: bash
|
||||
run: |
|
||||
NAME="${{ needs.config.outputs.name }}-${{ runner.os }}-x86_64"
|
||||
NAME="${{ needs.config.outputs.name }}-${{ matrix.os }}-x86_64"
|
||||
echo "NAME=$NAME" >> $GITHUB_ENV
|
||||
.github/ci.sh zip_dist_with_solvers $NAME
|
||||
env:
|
||||
OS_TAG: ${{ matrix.os }}
|
||||
|
||||
- if: needs.config.outputs.release == 'true'
|
||||
shell: bash
|
||||
|
Loading…
Reference in New Issue
Block a user