WIP: Add test for NiceMonomorphismByDomain #90
fingolfinCI.yml
on: pull_request
Build manuals
2m 17s
Matrix: test
Annotations
3 errors
|
stable-4.11
Process completed with exit code 1.
|
|
stable-4.12
Process completed with exit code 1.
|
|
master
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
manual
Expired
|
1.47 MB |
|