Skip to content
Nix CI for bundle master

rm dup lemmas (#1129) #2139

Sign in to view logs

rm dup lemmas (#1129)

rm dup lemmas (#1129) #2139

Triggered via push January 1, 2024 13:28
@affeldt-aistaffeldt-aist
pushed 81fec2f
master
Status Failure
Total duration 1m 43s
Artifacts –

nix-action-master.yml

on: push
coq
27s
coq
mathcomp-bigenough
47s
mathcomp-bigenough
coq-elpi
45s
coq-elpi
mathcomp-finmap
57s
mathcomp-finmap
mathcomp
49s
mathcomp
hierarchy-builder
0s
hierarchy-builder
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-analysis-single
0s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in

Annotations

4 errors
coq-elpi
Process completed with exit code 1.
mathcomp-bigenough
Process completed with exit code 1.
mathcomp
Process completed with exit code 1.
mathcomp-finmap
Process completed with exit code 1.