Skip to content

Actions: fpvandoorn/carleson

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
817 workflow runs
817 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lemma 7.2.4
.github/workflows/push_pr.yml #372: Pull request #132 synchronize by Parcly-Taxel
September 21, 2024 17:11 8m 3s Parcly-Taxel:l724
September 21, 2024 17:11 8m 3s
Lemma 7.2.4
.github/workflows/push_pr.yml #371: Pull request #132 opened by Parcly-Taxel
September 21, 2024 16:49 7m 54s Parcly-Taxel:l724
September 21, 2024 16:49 7m 54s
Proposition 2.0.2, split Discrete.Forests
.github/workflows/push_pr.yml #370: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 13:59 7m 33s Parcly-Taxel:split-forests
September 21, 2024 13:59 7m 33s
Proposition 2.0.2, split Discrete.Forests
.github/workflows/push_pr.yml #369: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 13:39 7m 29s Parcly-Taxel:split-forests
September 21, 2024 13:39 7m 29s
Proposition 2.0.2, split Discrete.Forests
.github/workflows/push_pr.yml #368: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 10:17 7m 39s Parcly-Taxel:split-forests
September 21, 2024 10:17 7m 39s
Proposition 2.0.2, split Discrete.Forests
.github/workflows/push_pr.yml #367: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 10:07 7m 25s Parcly-Taxel:split-forests
September 21, 2024 10:07 7m 25s
Proposition 2.0.2, split Discrete.Forests
.github/workflows/push_pr.yml #366: Pull request #131 synchronize by Parcly-Taxel
September 21, 2024 08:26 7m 32s Parcly-Taxel:split-forests
September 21, 2024 08:26 7m 32s
Proposition 2.0.2, split Discrete.Forests
.github/workflows/push_pr.yml #365: Pull request #131 opened by Parcly-Taxel
September 21, 2024 01:43 7m 52s Parcly-Taxel:split-forests
September 21, 2024 01:43 7m 52s
Lemma 7.1.1, 7.1.2 and most of 7.1.5 (#130)
.github/workflows/push.yml #388: Commit 52bab2f pushed by fpvandoorn
September 20, 2024 12:14 13m 58s master
September 20, 2024 12:14 13m 58s
Lemma 7.1.1, 7.1.2 and most of 7.1.5
.github/workflows/push_pr.yml #364: Pull request #130 opened by Parcly-Taxel
September 20, 2024 11:33 7m 49s Parcly-Taxel:forestop1
September 20, 2024 11:33 7m 49s
one forgotten leanok
.github/workflows/push.yml #387: Commit 8016280 pushed by fpvandoorn
September 19, 2024 13:55 11m 46s master
September 19, 2024 13:55 11m 46s
Lemma 5.5.2 (#129)
.github/workflows/push.yml #386: Commit 1aaf327 pushed by fpvandoorn
September 19, 2024 09:07 12m 58s master
September 19, 2024 09:07 12m 58s
Lemma 5.5.2
.github/workflows/push_pr.yml #363: Pull request #129 synchronize by Parcly-Taxel
September 19, 2024 05:27 8m 31s Parcly-Taxel:l552
September 19, 2024 05:27 8m 31s
Lemma 5.5.2
.github/workflows/push_pr.yml #362: Pull request #129 opened by Parcly-Taxel
September 19, 2024 05:17 8m 52s Parcly-Taxel:l552
September 19, 2024 05:17 8m 52s
Miscellaneous golfs, mostly to RealInterpolation.lean (#128)
.github/workflows/push.yml #385: Commit 3e77e05 pushed by pitmonticone
September 15, 2024 21:43 11m 50s master
September 15, 2024 21:43 11m 50s
Miscellaneous golfs, mostly to RealInterpolation.lean
.github/workflows/push_pr.yml #361: Pull request #128 synchronize by grunweg
September 15, 2024 20:09 8m 17s grunweg:MR-cleanup3
September 15, 2024 20:09 8m 17s
Miscellaneous golfs, mostly to RealInterpolation.lean
.github/workflows/push_pr.yml #360: Pull request #128 synchronize by grunweg
September 15, 2024 15:53 7m 44s grunweg:MR-cleanup3
September 15, 2024 15:53 7m 44s
Miscellaneous golfs, mostly to RealInterpolation.lean
.github/workflows/push_pr.yml #359: Pull request #128 synchronize by grunweg
September 15, 2024 15:45 7m 39s grunweg:MR-cleanup3
September 15, 2024 15:45 7m 39s
Miscellaneous golfs, mostly to RealInterpolation.lean
.github/workflows/push_pr.yml #358: Pull request #128 opened by grunweg
September 15, 2024 15:42 7m 46s grunweg:MR-cleanup3
September 15, 2024 15:42 7m 46s
Some real interpolation cleanup (#127)
.github/workflows/push.yml #384: Commit b3f42a7 pushed by fpvandoorn
September 13, 2024 21:38 11m 35s master
September 13, 2024 21:38 11m 35s
Some real interpolation cleanup
.github/workflows/push_pr.yml #357: Pull request #127 synchronize by fpvandoorn
September 13, 2024 21:28 7m 53s fvd/realinterp-cleanup1
September 13, 2024 21:28 7m 53s
Some real interpolation cleanup
.github/workflows/push_pr.yml #356: Pull request #127 opened by fpvandoorn
September 13, 2024 19:24 4m 16s fvd/realinterp-cleanup1
September 13, 2024 19:24 4m 16s
refactor(RealInterpolation): golf (#126)
.github/workflows/push.yml #383: Commit 44c8675 pushed by pitmonticone
September 13, 2024 18:23 11m 39s master
September 13, 2024 18:23 11m 39s
refactor(RealInterpolation): golf
.github/workflows/push_pr.yml #355: Pull request #126 opened by pitmonticone
September 13, 2024 17:24 7m 46s pitmonticone/RealInter-golf
September 13, 2024 17:24 7m 46s
State lemmas in chapter 7 (#125)
.github/workflows/push.yml #382: Commit 2bdc6c0 pushed by fpvandoorn
September 13, 2024 10:41 11m 20s master
September 13, 2024 10:41 11m 20s