michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add Agda version to matrix.

Browse source
This commit is contained in:
Wen Kokke 2021-09-01 20:20:35 +01:00
parent ab6ee861d8
commit 638cbcdd00
No known key found for this signature in database
GPG key ID: 7EB7DBBCEB539DB8
1 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
.github/workflows/build.yml vendored
View file

@ -16,6 +16,7 @@ jobs:
strategy: strategy:
matrix: matrix:
ghc: ['8.10.5'] ghc: ['8.10.5']
agda: ['2.6.1.3']
steps: steps:
@ -29,11 +30,6 @@ jobs:
run: echo "::set-output name=gemdir::$(gem env gemdir)" run: echo "::set-output name=gemdir::$(gem env gemdir)"
shell: bash shell: bash
- name: Get Agda version
id: get-agda-version
run: echo "::set-output name=agda-version::$(cat plfa.cabal | sed -n -e 's/^.*Agda\s*==\s*\(\S*\)\s*/\1/p')"
shell: bash
- uses: actions/cache@v2 - uses: actions/cache@v2
name: Cache files name: Cache files
id: cache id: cache
@ -46,7 +42,7 @@ jobs:
~/.stack ~/.stack
${{ steps.get-gemdir.outputs.gemdir }} ${{ steps.get-gemdir.outputs.gemdir }}
$GITHUB_WORKSPACE/.stack-work $GITHUB_WORKSPACE/.stack-work
key: ${{ runner.os }}-${{ matrix.ghc }}-${{ steps.get-agda-version.outputs.agda-version }} key: ${{ runner.os }}-${{ matrix.ghc }}-${{ matrix.agda }}
- name: Setup Haskell - name: Setup Haskell
if: steps.cache.outputs.cache-hit != 'true' if: steps.cache.outputs.cache-hit != 'true'