Skip to content
CI Build UniMath

CI Build UniMath #35

Sign in to view logs

CI Build UniMath

CI Build UniMath #35

Triggered via schedule March 3, 2025 02:17
@amato-gianlucaamato-gianluca
⁠ 1379c69
master
Status Failure
Total duration 1m 57s
Artifacts –

build-unimath.yml

on: schedule
Sanity Checks
33s
Sanity Checks
Build on macOS (latest Coq on Homebrew)
38s
Build on macOS (latest Coq on Homebrew)
Matrix: build-satellites
Matrix: build-Unimath-ubuntu
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 6 warnings
Build TypeTheory (Coq latest)
The reference Diagrams.diagram_pointwise was not found in the current
Build TypeTheory (Coq latest)
The reference Diagrams.diagram_pointwise was not found in the current
Build on Linux (Coq dev)
Cache save failed.
Build largecatmodules (Coq dev)
Cache save failed.
Build Schools (Coq dev)
Cache save failed.
Build SetHITs (Coq dev)
Cache save failed.
Build GrpdHITs (Coq dev)
Cache save failed.
Build TypeTheory (Coq dev)
Cache save failed.