Skip to content

Boost near_derive #3875

Boost near_derive

Boost near_derive #3875

Triggered via pull request April 11, 2025 12:54
@CohenCyrilCohenCyril
synchronize #1491
Status Failure
Total duration 2m 11s
Artifacts

nix-action-master.yml

on: pull_request_target
hierarchy-builder
0s
hierarchy-builder
mathcomp-classical
0s
mathcomp-classical
mathcomp
0s
mathcomp
mathcomp-analysis-single
0s
mathcomp-analysis-single
mathcomp-reals
mathcomp-reals
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
mathcomp-reals-stdlib
mathcomp-experimental-reals
0s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
0s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in

Annotations

4 errors
coq-elpi
Process completed with exit code 1.
mathcomp-finmap
Process completed with exit code 1.
mathcomp-bigenough
Process completed with exit code 1.
Nix CI for bundle master
Internal server error. Correlation ID: 2ac1745d-0c94-44ef-b526-c1eef7d3cf3f