Skip to content
Docker CI

Generalize operations of random variables and add trans_RV_unif and neg_RV_unif #455

Sign in to view logs

Generalize operations of random variables and add trans_RV_unif and neg_RV_unif

Generalize operations of random variables and add trans_RV_unif and neg_RV_unif #455

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (mathcomp/mathcomp:2.2.0-coq-8.18)
19m 0s
build (mathcomp/mathcomp:2.2.0-coq-8.19)
17m 12s
36m 12s