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

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 (#124) .github/workflows/push.yml #381: Commit dbcd100 pushed by pitmonticone
September 13, 2024 08:33 12m 10s master
master
September 13, 2024 08:33 12m 10s
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 (#121) .github/workflows/push.yml #380: Commit 8b76725 pushed by pitmonticone
September 10, 2024 12:58 12m 3s master
master
September 10, 2024 12:58 12m 3s
Lemma 5.5.1, for real (#122) .github/workflows/push.yml #379: Commit f8193c5 pushed by fpvandoorn
September 10, 2024 12:58 11m 7s master
master
September 10, 2024 12:58 11m 7s
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
bump mathlib (#120) .github/workflows/push.yml #378: Commit d018767 pushed by pitmonticone
September 10, 2024 12:38 11m 28s master
master
September 10, 2024 12:38 11m 28s
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 (#119) .github/workflows/push.yml #377: Commit 75b3951 pushed by pitmonticone
September 9, 2024 21:45 11m 26s master
master
September 9, 2024 21:45 11m 26s
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 (#118) .github/workflows/push.yml #376: Commit 01189dc pushed by fpvandoorn
September 9, 2024 20:23 11m 35s master
master
September 9, 2024 20:23 11m 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 (#117) .github/workflows/push.yml #375: Commit 2d168c9 pushed by fpvandoorn
September 9, 2024 19:21 11m 10s master
master
September 9, 2024 19:21 11m 10s
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