michael/agdaup
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

update

Browse source
This commit is contained in:
Michael Zhang 2024-09-06 23:29:51 +02:00
parent 8b83554b1c
commit 0cc3e123b2
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -4,7 +4,6 @@ on: [push]
jobs: jobs:
build: build:
runs-on: ubuntu-latest
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}
strategy: strategy:
matrix: matrix:
@ -16,7 +15,7 @@ jobs:
uses: actions/cache@v4 uses: actions/cache@v4
with: with:
path: ~/.cabal path: ~/.cabal
key: cabal-dir key: cabal-dir-${{ matrix.os }}
- uses: haskell-actions/setup@v2 - uses: haskell-actions/setup@v2
with: with:
ghc-version: 9.8.2 ghc-version: 9.8.2