Bicat of bimods #581
tillrampeci-ubuntu.yml
on: pull_request
test-categories
4m 32s
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
|