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

cabal dir

Browse source
This commit is contained in:
Michael Zhang 2024-09-06 19:34:34 +02:00
parent 01c8af250a
commit fc1b6e70e3
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -12,6 +12,11 @@ jobs:
# agda-version: [2.6.2, 2.7.0] # agda-version: [2.6.2, 2.7.0]
steps: steps:
- name: Cache Primes
uses: actions/cache@v4
with:
path: ~/.cabal
key: cabal-dir
- uses: haskell-actions/setup@v2 - uses: haskell-actions/setup@v2
with: with:
ghc-version: 9.8.2 ghc-version: 9.8.2