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

minor continuous integration #475: Commit 134658c pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
move lemma continuous integration #474: Commit a044082 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
fix merge continuous integration #473: Commit 804c000 pushed by RemyDegenne
2s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
2s
review: names continuous integration #472: Commit c31be1e pushed by RemyDegenne
1s RD_portmanteau
RD_portmanteau
1s
Merge branch 'master' into RD_fernique continuous integration #471: Commit 70b554e pushed by RemyDegenne
2s RD_fernique
RD_fernique
2s
Merge branch 'master' into RD_tendstoOfTendstoInMeasure continuous integration #470: Commit d172276 pushed by RemyDegenne
2s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
2s
fix merge continuous integration #469: Commit 94a4325 pushed by RemyDegenne
3s RD_stopRefactor
RD_stopRefactor
3s
fix continuous integration #468: Commit 5fca450 pushed by RemyDegenne
1s RD_stopRefactor
RD_stopRefactor
1s
Merge branch 'master' into RD_stopRefactor continuous integration #467: Commit bd41fe3 pushed by RemyDegenne
2s RD_stopRefactor
RD_stopRefactor
2s
minor golf continuous integration #466: Commit 5e4dd87 pushed by RemyDegenne
1s RD_egorov
RD_egorov
1s
use measurable distances continuous integration #465: Commit d2913d5 pushed by RemyDegenne
2s RD_egorov
RD_egorov
2s
remove useless aux lemma continuous integration #464: Commit 041ce12 pushed by RemyDegenne
1s RD_egorov
RD_egorov
1s
chore: generalize Egorov file to strongly measurable edist assumption continuous integration #463: Commit bc0ec7b pushed by RemyDegenne
2s RD_egorov
RD_egorov
2s
feat: AEMeasurable.dist continuous integration #462: Commit 5e01554 pushed by RemyDegenne
1s RD_aemeasurableDist
RD_aemeasurableDist
1s
feat: extension of a function to the closure of a submodule continuous integration #461: Commit cccc5f8 pushed by RemyDegenne
2s RD_completionClosure
RD_completionClosure
2s
unused import continuous integration #460: Commit e056ea6 pushed by RemyDegenne
1s RD_borelWithTop
RD_borelWithTop
1s
unused argument continuous integration #459: Commit e3856ef pushed by RemyDegenne
2s RD_borelWithTop
RD_borelWithTop
2s
move lemma continuous integration #458: Commit 984be87 pushed by RemyDegenne
1s RD_borelWithTop
RD_borelWithTop
1s
use untopD in coe_enat lemma; todo: move it continuous integration #457: Commit 72de747 pushed by RemyDegenne
1s RD_borelWithTop
RD_borelWithTop
1s
Update Mathlib/MeasureTheory/Constructions/BorelSpace/WithTop.lean continuous integration #456: Commit a5ccf63 pushed by RemyDegenne
1s RD_borelWithTop
RD_borelWithTop
1s
chore: generalize Adapted to dependent types continuous integration #455: Commit 716f422 pushed by RemyDegenne
2s RD_adaptedDependent
RD_adaptedDependent
2s
doc: scoped continuous integration #454: Commit 007b8a8 pushed by RemyDegenne
2s RD_indepNotation
RD_indepNotation
2s
fix continuous integration #453: Commit d8f0d6a pushed by RemyDegenne
3s RD_stopRefactor
RD_stopRefactor
3s
Merge branch 'RD_borelWithTop' into RD_stopRefactor continuous integration #452: Commit 0f6599d pushed by RemyDegenne
1s RD_stopRefactor
RD_stopRefactor
1s
minor continuous integration #451: Commit 03181a0 pushed by RemyDegenne
2s RD_borelWithTop
RD_borelWithTop
2s