Fixed #6999. #95
test.yml
on: push
build
22m 2s
cubical
23m 15s
interaction-latex-html
4m 0s
stdlib-test
16m 13s
test
10m 53s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
agda-Linux-4460544ab7c4845bde24f534f16ed7daa6042a81
Expired
|
230 MB |
|