Skip to content

derive row_mx

derive row_mx #637

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

nix-action-9.1.yml

on: pull_request_target
rocq-core
49s
rocq-core
mathcomp-classical
3m 9s
mathcomp-classical
mathcomp-analysis-single
8m 23s
mathcomp-analysis-single
mathcomp-analysis
5m 54s
mathcomp-analysis
mathcomp-reals-stdlib
1m 26s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 49s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
mathcomp-analysis-stdlib
mathcomp-infotheo
mathcomp-infotheo
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.