Skip to content

metric structure

metric structure #4838

Triggered via pull request January 1, 2026 07:30
@affeldt-aistaffeldt-aist
synchronize #1589
Status Failure
Total duration 38m 12s
Artifacts

nix-action-master.yml

on: pull_request_target
mathcomp-bigenough
56s
mathcomp-bigenough
mathcomp-finmap
56s
mathcomp-finmap
hierarchy-builder
1m 1s
hierarchy-builder
mathcomp-classical
3m 3s
mathcomp-classical
mathcomp-analysis-single
5m 30s
mathcomp-analysis-single
mathcomp-reals
2m 8s
mathcomp-reals
mathcomp-analysis
3m 17s
mathcomp-analysis
mathcomp-reals-stdlib
1m 34s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 54s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
0s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in

Annotations

2 errors
mathcomp-analysis-single
Process completed with exit code 1.
mathcomp-analysis
Process completed with exit code 1.