CI Build UniMath #21
build-unimath.yml
on: schedule
Sanity Checks
43s
Build on macOS (Coq 8.16)
3m 24s
Matrix: build-satellites
Matrix: build-Unimath-ubuntu
Annotations
6 errors and 50 warnings