Skip to content

added within_continuous_patch #5072

added within_continuous_patch

added within_continuous_patch #5072

Triggered via pull request March 5, 2026 10:47
Status Failure
Total duration 7m 27s
Artifacts

nix-action-master.yml

on: pull_request_target
mathcomp-bigenough
1m 50s
mathcomp-bigenough
mathcomp-finmap
1m 44s
mathcomp-finmap
hierarchy-builder
hierarchy-builder
mathcomp-classical
0s
mathcomp-classical
mathcomp
0s
mathcomp
mathcomp-analysis-single
0s
mathcomp-analysis-single
mathcomp-reals
0s
mathcomp-reals
mathcomp-analysis
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-experimental-reals
mathcomp-experimental-reals
mathcomp-analysis-stdlib
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in

Annotations

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