Bicat of bimods #573
tillrampeci-ubuntu.yml
on: pull_request
test-categories
5m 54s
Annotations
1 error and 1 warning
|
test-categories
Process completed with exit code 42.
|
|
test-categories
Agda libraries file already contains a copy of standard-library
|