Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
369 workflow runs
369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fvd/realinterp-cleanup1
September 13, 2024 19:24 4m 16s
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
pitmonticone/RealInter-golf
September 13, 2024 17:24 7m 46s
State lemmas in chapter 7 .github/workflows/push_pr.yml #354: Pull request #125 synchronize by fpvandoorn
September 13, 2024 10:40 7m 48s fvd-ch7
fvd-ch7
September 13, 2024 10:40 7m 48s
State lemmas in chapter 7 .github/workflows/push_pr.yml #353: Pull request #125 synchronize by fpvandoorn
September 13, 2024 10:23 7m 47s fvd-ch7
fvd-ch7
September 13, 2024 10:23 7m 47s
State lemmas in chapter 7 .github/workflows/push_pr.yml #352: Pull request #125 opened by fpvandoorn
September 13, 2024 10:13 7m 51s fvd-ch7
fvd-ch7
September 13, 2024 10:13 7m 51s
by exact .github/workflows/push_pr.yml #351: Pull request #124 opened by madvorak
September 13, 2024 08:20 8m 9s madvorak:master
madvorak:master
September 13, 2024 08:20 8m 9s
chore: further clean-ups and golfs .github/workflows/push_pr.yml #350: Pull request #121 synchronize by pitmonticone
September 10, 2024 12:50 7m 33s grunweg:MR-cleanup2
grunweg:MR-cleanup2
September 10, 2024 12:50 7m 33s
chore: further clean-ups and golfs .github/workflows/push_pr.yml #349: Pull request #121 synchronize by pitmonticone
September 10, 2024 12:38 3m 51s grunweg:MR-cleanup2
grunweg:MR-cleanup2
September 10, 2024 12:38 3m 51s
bump mathlib .github/workflows/push_pr.yml #348: Pull request #120 synchronize by pitmonticone
September 10, 2024 12:26 7m 58s pitmonticone/bump-mathlib
pitmonticone/bump-mathlib
September 10, 2024 12:26 7m 58s
bump mathlib .github/workflows/push_pr.yml #347: Pull request #120 synchronize by pitmonticone
September 10, 2024 12:25 7m 15s pitmonticone/bump-mathlib
pitmonticone/bump-mathlib
September 10, 2024 12:25 7m 15s
Lemma 5.5.1, for real .github/workflows/push_pr.yml #346: Pull request #122 synchronize by Parcly-Taxel
September 10, 2024 11:01 8m 8s Parcly-Taxel:l551-real
Parcly-Taxel:l551-real
September 10, 2024 11:01 8m 8s
simpler version of classical carleson .github/workflows/push_pr.yml #345: Pull request #123 opened by fpvandoorn
September 10, 2024 10:52 7m 51s BP-classical-carleson
BP-classical-carleson
September 10, 2024 10:52 7m 51s
Lemma 5.5.1, for real .github/workflows/push_pr.yml #344: Pull request #122 synchronize by Parcly-Taxel
September 10, 2024 10:52 7m 50s Parcly-Taxel:l551-real
Parcly-Taxel:l551-real
September 10, 2024 10:52 7m 50s
Lemma 5.5.1, for real .github/workflows/push_pr.yml #343: Pull request #122 opened by Parcly-Taxel
September 10, 2024 10:44 8m 3s Parcly-Taxel:l551-real
Parcly-Taxel:l551-real
September 10, 2024 10:44 8m 3s
bump mathlib .github/workflows/push_pr.yml #342: Pull request #120 opened by pitmonticone
September 9, 2024 22:07 7m 41s pitmonticone/bump-mathlib
pitmonticone/bump-mathlib
September 9, 2024 22:07 7m 41s
refactor(RealInterpolation): golf .github/workflows/push_pr.yml #341: Pull request #119 opened by pitmonticone
September 9, 2024 21:21 7m 35s pitmonticone/golf-Realinterpolation
pitmonticone/golf-Realinterpolation
September 9, 2024 21:21 7m 35s
Cleanup and Section 7.2 .github/workflows/push_pr.yml #340: Pull request #118 synchronize by fpvandoorn
September 9, 2024 20:13 7m 48s fvd/cleanup2
fvd/cleanup2
September 9, 2024 20:13 7m 48s
Cleanup and Section 7.2 .github/workflows/push_pr.yml #339: Pull request #118 synchronize by fpvandoorn
September 9, 2024 20:08 7m 41s fvd/cleanup2
fvd/cleanup2
September 9, 2024 20:08 7m 41s
some cleanup .github/workflows/push_pr.yml #338: Pull request #117 synchronize by fpvandoorn
September 9, 2024 19:07 7m 30s fvd/cleanup1
fvd/cleanup1
September 9, 2024 19:07 7m 30s
some cleanup .github/workflows/push_pr.yml #337: Pull request #117 opened by fpvandoorn
September 9, 2024 18:52 7m 26s fvd/cleanup1
fvd/cleanup1
September 9, 2024 18:52 7m 26s
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 .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