[Paper Artifact] Bernoulli sampling theorem #320
Triggered via pull request
November 22, 2025 09:51
affeldt-aist
Status
Failure
Total duration
40m 57s
Artifacts
–
nix-action-8.20-2.4.0.yml
on: pull_request
coq
50s
mathcomp
52s
mathcomp-analysis-single
1m 36s
mathcomp-analysis-stdlib
57s
mathcomp-analysis
14m 6s
mathcomp-experimental-reals
2m 4s
mathcomp-reals-stdlib
1m 37s
ssprove
20m 38s
Annotations
1 error
|
mathcomp-analysis-single
Process completed with exit code 1.
|