Skip to content
Nix CI for bundle coqmaster+mcmaster

Merge pull request #97 from proux01/no-stdlib #119

Sign in to view logs

Merge pull request #97 from proux01/no-stdlib

Merge pull request #97 from proux01/no-stdlib #119

Triggered via push February 24, 2025 17:57
@CohenCyrilCohenCyril
pushed 05b1b9a
master
Status Failure
Total duration 53s
Artifacts –

nix-action-coqmaster+mcmaster.yml

on: push
coq
37s
coq
coq-elpi
0s
coq-elpi
mathcomp-bigenough
0s
mathcomp-bigenough
hierarchy-builder
0s
hierarchy-builder
mathcomp-real-closed
0s
mathcomp-real-closed
mathcomp-abel
0s
mathcomp-abel
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 1.