Skip to content
Nix CI for bundle master

adapt to MC#1258 #53

Sign in to view logs

adapt to MC#1258

adapt to MC#1258 #53

Triggered via pull request September 11, 2024 15:03
@TragicusTragicus
opened #63
Status Failure
Total duration 18m 42s
Artifacts –

nix-action-master.yml

on: pull_request_target
coq
4m 7s
coq
mathcomp-bigenough
3m 49s
mathcomp-bigenough
coq-elpi
1m 37s
coq-elpi
mathcomp-zify
6m 21s
mathcomp-zify
bignums
1m 26s
bignums
paramcoq
1m 9s
paramcoq
mathcomp-finmap
3m 56s
mathcomp-finmap
mathcomp-real-closed
6m 57s
mathcomp-real-closed
hierarchy-builder
38s
hierarchy-builder
mathcomp-algebra-tactics
1m 29s
mathcomp-algebra-tactics
multinomials
3m 40s
multinomials
mathcomp-abel
3m 2s
mathcomp-abel
mathcomp
9m 51s
mathcomp
coqeal
1m 27s
coqeal
mathcomp-apery
0s
mathcomp-apery
Fit to window
Zoom out
Zoom in

Annotations

1 error
coqeal
Process completed with exit code 1.