Skip to content

derive row_mx

derive row_mx #5026

Triggered via pull request March 2, 2026 00:24
Status Failure
Total duration 17m 16s
Artifacts

nix-action-master.yml

on: pull_request_target
mathcomp-bigenough
56s
mathcomp-bigenough
mathcomp-finmap
1m 1s
mathcomp-finmap
hierarchy-builder
54s
hierarchy-builder
mathcomp-classical
2m 59s
mathcomp-classical
mathcomp-analysis-single
9m 45s
mathcomp-analysis-single
mathcomp-analysis
8m 51s
mathcomp-analysis
mathcomp-reals-stdlib
3m 3s
mathcomp-reals-stdlib
mathcomp-experimental-reals
3m 16s
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.