from MathComp-Analysis' unstable.v
#98
Triggered via pull request
January 1, 2026 03:16
affeldt-aist
affeldt-aist
opened
#149
Status
Failure
Total duration
6m 33s
Artifacts
–
nix-action-master.yml
on: pull_request_target
coq
2m 38s
rocq-core
43s
rocq-elpi
39s
stdlib
3m 48s
multinomials
0s
mathcomp
0s
Annotations
3 errors
|
coq-elpi
Process completed with exit code 1.
|
|
mathcomp-bigenough
Process completed with exit code 1.
|
|
mathcomp-finmap
Process completed with exit code 1.
|