Skip to content
Nix CI for bundle 8.20

Lspace #1723

Sign in to view logs

Lspace

Lspace #1723

Triggered via pull request July 1, 2025 14:14
@affeldt-aistaffeldt-aist
reopened #1230
Status Failure
Total duration 2m 50s
Artifacts –

nix-action-8.20.yml

on: pull_request_target
coq
42s
coq
mathcomp-classical
1m 51s
mathcomp-classical
mathcomp
1m 46s
mathcomp
mathcomp-analysis-single
1m 37s
mathcomp-analysis-single
mathcomp-reals
0s
mathcomp-reals
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-experimental-reals
0s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
mathcomp-analysis-stdlib
ssprove
ssprove
Fit to window
Zoom out
Zoom in

Annotations

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