CI Build UniMath #20
build-unimath.yml
on: schedule
Sanity Checks
57s
Build on macOS (Coq 8.16)
1h 31m
Matrix: build-satellites
Matrix: build-Unimath-ubuntu
Annotations
6 errors and 50 warnings