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

Merge branch 'master' into RD_tight_limsup continuous integration #375: Commit a6ce290 pushed by RemyDegenne
2s RD_tight_limsup
RD_tight_limsup
2s
docstring continuous integration #374: Commit 2209420 pushed by RemyDegenne
2s RD_stopRefactor
RD_stopRefactor
2s
new file for measurable space on WithTop continuous integration #373: Commit 2c6df5e pushed by RemyDegenne
1s RD_stopRefactor
RD_stopRefactor
1s
lint continuous integration #372: Commit 5df0e41 pushed by RemyDegenne
1s RD_stopRefactor
RD_stopRefactor
1s
change ut to untopA continuous integration #371: Commit 7df3b42 pushed by RemyDegenne
1s RD_stopRefactor
RD_stopRefactor
1s
add Subsingleton instance continuous integration #370: Commit bf8813a pushed by RemyDegenne
2s RD_stopRefactor
RD_stopRefactor
2s
Merge branch 'master' into RD_stopRefactor continuous integration #369: Commit 1a2263f pushed by RemyDegenne
1s RD_stopRefactor
RD_stopRefactor
1s
review continuous integration #368: Commit 705cc64 pushed by RemyDegenne
2s RD_ferniqueGaussian
RD_ferniqueGaussian
2s
move the aux lemma continuous integration #367: Commit dac97f8 pushed by RemyDegenne
2s RD_ferniqueGaussian
RD_ferniqueGaussian
2s
remove unused argument continuous integration #366: Commit a77c598 pushed by RemyDegenne
2s RD_ferniqueGaussian
RD_ferniqueGaussian
2s
add two lemma variants continuous integration #365: Commit f0d3613 pushed by RemyDegenne
1s RD_ferniqueGaussian
RD_ferniqueGaussian
1s
reword docstring continuous integration #364: Commit 9a04d79 pushed by RemyDegenne
2s RD_ferniqueGaussian
RD_ferniqueGaussian
2s
Update Mathlib/Probability/Distributions/Gaussian/Fernique.lean continuous integration #363: Commit 4c9ecc7 pushed by RemyDegenne
1s RD_ferniqueGaussian
RD_ferniqueGaussian
1s
extract lemma continuous integration #362: Commit 01f208d pushed by RemyDegenne
1s RD_ferniqueGaussian
RD_ferniqueGaussian
1s
fix continuous integration #361: Commit f586484 pushed by RemyDegenne
1s RD_ferniqueGaussian
RD_ferniqueGaussian
1s
Apply suggestion from @grunweg continuous integration #360: Commit ae87155 pushed by RemyDegenne
2s RD_ferniqueGaussian
RD_ferniqueGaussian
2s
Apply suggestion from @grunweg continuous integration #359: Commit 9832ba0 pushed by RemyDegenne
1s RD_ferniqueGaussian
RD_ferniqueGaussian
1s
Apply suggestion from @grunweg continuous integration #358: Commit d576d3c pushed by RemyDegenne
2s RD_ferniqueGaussian
RD_ferniqueGaussian
2s
add 1000 thms entry continuous integration #357: Commit 875a6f3 pushed by RemyDegenne
1s RD_ferniqueGaussian
RD_ferniqueGaussian
1s
feat: Fernique's theorem for Gaussian distributions continuous integration #356: Commit 3e63b58 pushed by RemyDegenne
1s RD_ferniqueGaussian
RD_ferniqueGaussian
1s
minor continuous integration #355: Commit 1f26dc6 pushed by RemyDegenne
Skipped RD_fernique
RD_fernique
Skipped
mostly docstrings continuous integration #354: Commit 21f07ca pushed by RemyDegenne
2s RD_fernique
RD_fernique
2s
fix continuous integration #353: Commit fac5a0d pushed by RemyDegenne
Skipped RD_fernique
RD_fernique
Skipped
Merge branch 'master' into RD_fernique continuous integration #352: Commit d1d0a03 pushed by RemyDegenne
1s RD_fernique
RD_fernique
1s
modify docstring continuous integration #351: Commit b1bb8e8 pushed by RemyDegenne
1s RD_ferniqueRotation
RD_ferniqueRotation
1s