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

scope and use notation3 to have it in the infoview continuous integration #425: Commit 780f76e pushed by RemyDegenne
1s RD_indepNotation
RD_indepNotation
1s
experiment continuous integration #424: Commit e921d61 pushed by RemyDegenne
1s RD_fDiv
RD_fDiv
1s
doc continuous integration #423: Commit 001114b pushed by RemyDegenne
2s RD_indepNotation
RD_indepNotation
2s
fix continuous integration #422: Commit 4dfd74e pushed by RemyDegenne
2s RD_indepNotation
RD_indepNotation
2s
chore: notation for independence continuous integration #421: Commit ff5081f pushed by RemyDegenne
3s RD_indepNotation
RD_indepNotation
3s
move continuous integration #420: Commit 3c39cfb pushed by RemyDegenne
2s RD_fernique
RD_fernique
2s
names continuous integration #419: Commit e47852a pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
feat: gaussianReal_ext_iff continuous integration #418: Commit 8cbe72e pushed by RemyDegenne
1s RD_gaussianRealExtIff
RD_gaussianRealExtIff
1s
minor continuous integration #417: Commit c241d2f pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
some docstrings continuous integration #416: Commit 9d4ba35 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
move lemmas continuous integration #415: Commit 0497c28 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
move lemmas continuous integration #414: Commit 26ff630 pushed by RemyDegenne
2s RD_fernique
RD_fernique
2s
move completion results to an aux file continuous integration #413: Commit 4bc9712 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
new lemma; docstrings continuous integration #412: Commit 5e7ce48 pushed by RemyDegenne
2s RD_fernique
RD_fernique
2s
update 1000.yaml continuous integration #411: Commit 476d929 pushed by RemyDegenne
2s RD_fernique
RD_fernique
2s
import new file continuous integration #410: Commit 18e97e2 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
Merge branch 'RD_tendstoOfTendstoInMeasure' into RD_fernique continuous integration #409: Commit e42616a pushed by RemyDegenne
2s RD_fernique
RD_fernique
2s
Merge branch 'master' into RD_fernique continuous integration #408: Commit f5d6b95 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
Merge branch 'master' into RD_tendstoOfTendstoInMeasure continuous integration #407: Commit 1195094 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
update 1000.yaml continuous integration #406: Commit 5783243 pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s
Merge branch 'RD_portmanteau' into RD_tendstoOfTendstoInMeasure continuous integration #405: Commit c901f84 pushed by RemyDegenne
2s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
2s
feat: add an implication in the Portmanteau theorem continuous integration #404: Commit f059e1a pushed by RemyDegenne
1s RD_portmanteau
RD_portmanteau
1s
finiteness tag; new gcongr lemma continuous integration #403: Commit 2f3094f pushed by RemyDegenne
1s RD_lipThick
RD_lipThick
1s
move gcongr to the nullMeasurableSet version continuous integration #402: Commit e9eb8b0 pushed by RemyDegenne
1s RD_setIntegralMonoOn
RD_setIntegralMonoOn
1s
docstring continuous integration #401: Commit 986733e pushed by RemyDegenne
1s RD_tendstoOfTendstoInMeasure
RD_tendstoOfTendstoInMeasure
1s