Skip to content
Nix CI for bundle coq8.16+mcmathcomp-2.1.0

Remove Stdlib dependency #40

Sign in to view logs

Remove Stdlib dependency

Remove Stdlib dependency #40

Triggered via pull request February 24, 2025 07:28
@proux01proux01
synchronize #97
Status Failure
Total duration 3m 1s
Artifacts –

nix-action-coq8.16+mcmathcomp-2.1.0.yml

on: pull_request_target
coq
33s
coq
mathcomp-bigenough
33s
mathcomp-bigenough
mathcomp-real-closed
1m 29s
mathcomp-real-closed
mathcomp-abel
0s
mathcomp-abel
Fit to window
Zoom out
Zoom in

Annotations

1 error
mathcomp-real-closed
Process completed with exit code 1.