Build with GHC 9.10 #12
philderbeasttest.yml
on: push
build
20m 41s
cubical
22m 57s
interaction-latex-html
2m 22s
stdlib-test
14m 20s
test
9m 53s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
agda-Linux-185d9d4761db0c5a261fd449fbfef04bf9319377
Expired
|
241 MB |
|