Skip to content
Nix CI for bundle master

Topological vector spaces #2923

Sign in to view logs

Topological vector spaces

Topological vector spaces #2923

Triggered via pull request October 5, 2024 09:24
@mkerjeanmkerjean
synchronize #1300
Status Failure
Total duration 2m 20s
Artifacts –

nix-action-master.yml

on: pull_request_target
coq
46s
coq
mathcomp-bigenough
1m 3s
mathcomp-bigenough
coq-elpi
1m 11s
coq-elpi
mathcomp-finmap
1m 10s
mathcomp-finmap
hierarchy-builder
0s
hierarchy-builder
mathcomp
0s
mathcomp
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-analysis-single
0s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in

Annotations

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