Skip to content

Actions: RemyDegenne/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
475 workflow runs
475 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add TendstoInDistribution continuous integration #400: Commit 76802bf pushed by RemyDegenne
3s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
3s
file docstring continuous integration #399: Commit 208d354 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
new file continuous integration #398: Commit bfc5738 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
typo continuous integration #397: Commit 6982403 pushed by RemyDegenne
2s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
2s
docstring continuous integration #396: Commit a19503f pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
move lemma continuous integration #395: Commit 93c9b52 pushed by RemyDegenne
5s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
5s
golf continuous integration #394: Commit abf9315 pushed by RemyDegenne
1s RD_setIntegralMonoOn
RD_setIntegralMonoOn
1s
add NullMeasurableSet version of setIntegral_mono_on continuous integration #393: Commit 3d917f0 pushed by RemyDegenne
2s RD_setIntegralMonoOn
RD_setIntegralMonoOn
2s
review continuous integration #392: Commit ca22a18 pushed by RemyDegenne
12s RD_laplacianReal
RD_laplacianReal
12s
golf continuous integration #391: Commit 3f22874 pushed by RemyDegenne
1s RD_laplacianReal
RD_laplacianReal
1s
add simp continuous integration #390: Commit 373bcf5 pushed by RemyDegenne
1s RD_laplacianReal
RD_laplacianReal
1s
laplacian in R continuous integration #389: Commit 1b77df6 pushed by RemyDegenne
1s RD_laplacianReal
RD_laplacianReal
1s
names continuous integration #388: Commit a186a3c pushed by RemyDegenne
13s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
13s
continuous integration continuous integration #387: by RemyDegenne
2m 18s RD_fernique
RD_fernique
2m 18s
fun_prop continuous integration #386: Commit c0118e2 pushed by RemyDegenne
2s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
2s
remove @ continuous integration #385: Commit 49a0b84 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
golf continuous integration #384: Commit 7b0de97 pushed by RemyDegenne
2s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
2s
finish proof continuous integration #383: Commit 3653b72 pushed by RemyDegenne
2s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
2s
add Slutsky's theorem continuous integration #382: Commit b50f78f pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
extract lemma continuous integration #381: Commit e95acc9 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
extract lemmas continuous integration #380: Commit b14a811 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
feat: convergence in probability implies convergence in distribution continuous integration #379: Commit 3739275 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
move lemma continuous integration #378: Commit f42a5c1 pushed by RemyDegenne
1s RD_lipThick
RD_lipThick
1s
feat: thickenedIndicator is Lipschitz continuous integration #377: Commit 368497d pushed by RemyDegenne
2s RD_lipThick
RD_lipThick
2s
minor continuous integration #376: Commit 01cdac8 pushed by RemyDegenne
2s RD_tight_limsup
RD_tight_limsup
2s