CI Build UniMath #22
Skantzbuild-unimath.yml
on: schedule
Sanity Checks
28s
Build on macOS (latest Coq on Homebrew)
44s
Matrix: build-satellites
Matrix: build-Unimath-ubuntu
Annotations
4 errors
|
Build SetHITs (Coq dev)
Universe inconsistency. Cannot enforce UU.u0 <= PartA.cast.u1 because
|
|
Build SetHITs (Coq dev)
Universe inconsistency. Cannot enforce UU.u0 <= PartA.cast.u1 because
|
|
Build SetHITs (Coq dev)
Universe inconsistency. Cannot enforce UU.u0 <= PartA.cast.u1 because
|
|
Build SetHITs (Coq dev)
Universe inconsistency. Cannot enforce UU.u0 <= PartA.cast.u1 because
|