Skip to content
Nix CI for bundle 8.18

test mathcomp 2.3.0 #29

Sign in to view logs

test mathcomp 2.3.0

test mathcomp 2.3.0 #29

Triggered via pull request December 2, 2024 11:31
@CohenCyrilCohenCyril
opened #65
Status Failure
Total duration 3m 4s
Artifacts –

nix-action-8.18.yml

on: pull_request_target
coq
35s
coq
mathcomp-bigenough
35s
mathcomp-bigenough
mathcomp-zify
35s
mathcomp-zify
mathcomp-finmap
35s
mathcomp-finmap
mathcomp
35s
mathcomp
mathcomp-real-closed
0s
mathcomp-real-closed
mathcomp-algebra-tactics
0s
mathcomp-algebra-tactics
multinomials
0s
multinomials
mathcomp-abel
0s
mathcomp-abel
coqeal
0s
coqeal
mathcomp-apery
0s
mathcomp-apery
Fit to window
Zoom out
Zoom in

Annotations

4 errors
mathcomp
Process completed with exit code 1.
mathcomp-bigenough
Process completed with exit code 1.
mathcomp-finmap
Process completed with exit code 1.
mathcomp-zify
Process completed with exit code 1.