CI: switch to haskell-actions/setup; bump cabal ghc 9.4 to 9.4.7 #88
test.yml
on: push
build
31m 24s
cubical
27m 37s
interaction-latex-html
3m 46s
stdlib-test
18m 35s
test
15m 22s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
agda-Linux-0237d2cab778daa52bad96117d1bd9fbd735d012
Expired
|
297 MB |
|