Bicat of bimods #572
tillrampeci-ubuntu.yml
on: pull_request
test-categories
3m 38s
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
|