Skip to content

[Paper Artifact] Bernoulli sampling theorem #338

[Paper Artifact] Bernoulli sampling theorem

[Paper Artifact] Bernoulli sampling theorem #338

Triggered via pull request November 22, 2025 09:51
@affeldt-aistaffeldt-aist
synchronize #1645
Status Success
Total duration 21m 32s
Artifacts

nix-action-9.1.yml

on: pull_request_target
rocq-core
53s
rocq-core
mathcomp-classical
2m 47s
mathcomp-classical
mathcomp-analysis-single
14m 14s
mathcomp-analysis-single
mathcomp-reals
2m 6s
mathcomp-reals
mathcomp-analysis
13m 34s
mathcomp-analysis
mathcomp-reals-stdlib
2m 48s
mathcomp-reals-stdlib
mathcomp-experimental-reals
3m 1s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
58s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in