Skip to content

Actions: fpvandoorn/carleson

Actions

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

some renamings and continue chapter 7 (#104) .github/workflows/push.yml #374: Commit f086742 pushed by fpvandoorn
September 9, 2024 18:22 12m 17s master
master
September 9, 2024 18:22 12m 17s
outline of chapter 7 .github/workflows/push_pr.yml #336: Pull request #104 synchronize by fpvandoorn
September 9, 2024 18:09 7m 15s forest-operator-outline
forest-operator-outline
September 9, 2024 18:09 7m 15s
Lemma 5.5.1 and 5.5.3 (#106) .github/workflows/push.yml #373: Commit 242595e pushed by fpvandoorn
September 9, 2024 17:53 11m 20s master
master
September 9, 2024 17:53 11m 20s
chore(RealInterpolationTheorem): misc golfs (#116) .github/workflows/push.yml #372: Commit 208e035 pushed by fpvandoorn
September 9, 2024 17:49 11m 38s master
master
September 9, 2024 17:49 11m 38s
Lemma 5.5.1 and 5.5.3 .github/workflows/push_pr.yml #335: Pull request #106 synchronize by Parcly-Taxel
September 9, 2024 16:40 7m 31s Parcly-Taxel:antichaindecomp
Parcly-Taxel:antichaindecomp
September 9, 2024 16:40 7m 31s
chore(RealInterpolationTheorem): misc golfs .github/workflows/push_pr.yml #334: Pull request #116 synchronize by pitmonticone
September 9, 2024 15:01 7m 59s grunweg:MR-cleanup-real-interpolation-theorem
grunweg:MR-cleanup-real-interpolation-theorem
September 9, 2024 15:01 7m 59s
chore(RealInterpolationTheorem): misc golfs .github/workflows/push_pr.yml #333: Pull request #116 synchronize by pitmonticone
September 9, 2024 14:40 7m 58s grunweg:MR-cleanup-real-interpolation-theorem
grunweg:MR-cleanup-real-interpolation-theorem
September 9, 2024 14:40 7m 58s
chore(RealInterpolationTheorem): misc golfs .github/workflows/push_pr.yml #332: Pull request #116 synchronize by pitmonticone
September 9, 2024 14:00 7m 57s grunweg:MR-cleanup-real-interpolation-theorem
grunweg:MR-cleanup-real-interpolation-theorem
September 9, 2024 14:00 7m 57s
chore(RealInterpolationTheorem): misc golfs .github/workflows/push_pr.yml #331: Pull request #116 opened by grunweg
September 9, 2024 13:29 4m 11s grunweg:MR-cleanup-real-interpolation-theorem
grunweg:MR-cleanup-real-interpolation-theorem
September 9, 2024 13:29 4m 11s
feat(HardyLittlewood): fill in some sorries .github/workflows/push.yml #371: Commit 5e77598 pushed by fpvandoorn
September 9, 2024 12:09 11m 16s master
master
September 9, 2024 12:09 11m 16s
Lemma 5.5.1 and 5.5.3 .github/workflows/push_pr.yml #330: Pull request #106 synchronize by Parcly-Taxel
September 9, 2024 09:09 7m 59s Parcly-Taxel:antichaindecomp
Parcly-Taxel:antichaindecomp
September 9, 2024 09:09 7m 59s
Lemma 5.5.1 and 5.5.3 .github/workflows/push_pr.yml #329: Pull request #106 synchronize by Parcly-Taxel
September 9, 2024 08:34 2m 25s Parcly-Taxel:antichaindecomp
Parcly-Taxel:antichaindecomp
September 9, 2024 08:34 2m 25s
Set.Countable.measure_biUnion_le_lintegral and HasWeakType.MB_one (#111) .github/workflows/push.yml #370: Commit 52c81c6 pushed by fpvandoorn
September 9, 2024 07:32 11m 33s master
master
September 9, 2024 07:32 11m 33s
Proof of the real interpolation theorem (#115) .github/workflows/push.yml #369: Commit 990d3de pushed by fpvandoorn
September 9, 2024 06:27 10m 46s master
master
September 9, 2024 06:27 10m 46s
Proof of the real interpolation theorem .github/workflows/push_pr.yml #328: Pull request #115 synchronize by fpvandoorn
September 9, 2024 06:27 7m 44s jim-portegies:real-interpolation
jim-portegies:real-interpolation
September 9, 2024 06:27 7m 44s
refactor: golf TileExistence.lean (#113) .github/workflows/push.yml #368: Commit 6d9332a pushed by fpvandoorn
September 9, 2024 06:11 21m 52s master
master
September 9, 2024 06:11 21m 52s
add_pos (#112) .github/workflows/push.yml #367: Commit 3aa1515 pushed by fpvandoorn
September 9, 2024 06:10 21m 56s master
master
September 9, 2024 06:10 21m 56s
update doc-gen (and mathlib again) .github/workflows/push.yml #366: Commit cbd59e1 pushed by fpvandoorn
September 9, 2024 06:07 22m 46s master
master
September 9, 2024 06:07 22m 46s
Update mathlib to 4.12.0-rc1 (#114) .github/workflows/push.yml #365: Commit 6d3cbe7 pushed by fpvandoorn
September 9, 2024 05:34 4m 50s master
master
September 9, 2024 05:34 4m 50s
refactor: golf TileExistence.lean .github/workflows/push_pr.yml #327: Pull request #113 synchronize by pitmonticone
September 7, 2024 15:50 7m 4s pitmonticone/golf-TileExistence
pitmonticone/golf-TileExistence
September 7, 2024 15:50 7m 4s
Proof of the real interpolation theorem .github/workflows/push_pr.yml #326: Pull request #115 synchronize by jim-portegies
September 6, 2024 17:13 7m 30s jim-portegies:real-interpolation
jim-portegies:real-interpolation
September 6, 2024 17:13 7m 30s
Proof of the real interpolation theorem .github/workflows/push_pr.yml #325: Pull request #115 opened by jim-portegies
September 6, 2024 15:09 4m 4s jim-portegies:real-interpolation
jim-portegies:real-interpolation
September 6, 2024 15:09 4m 4s
Update mathlib to 4.12.0-rc1 .github/workflows/push_pr.yml #324: Pull request #114 synchronize by Parcly-Taxel
September 4, 2024 15:40 7m 4s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
September 4, 2024 15:40 7m 4s
Update mathlib to 4.12.0-rc1 .github/workflows/push_pr.yml #323: Pull request #114 opened by Parcly-Taxel
September 3, 2024 10:18 6m 58s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
September 3, 2024 10:18 6m 58s
github_actions in /. - Update #877226058 Dependabot Updates #6: by dependabot bot
September 1, 2024 13:04 38s
September 1, 2024 13:04 38s