CI

An interchange law for squares and cleanups to Cubical/PathSquare.v #3886

Sign in to view logs

Annotations

3 errors and 1 warning

Canceling since a higher priority waiting request for CI @ marcbezem:interchange exists

The operation was canceled.

Canceling since a higher priority waiting request for CI @ marcbezem:interchange exists

Build HoTT: test/Tactics/napply.v#L16

Could not enable unknown warning