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

Update push.yml .github/workflows/push.yml #353: Commit 8b37ee3 pushed by pitmonticone
July 31, 2024 14:58 9m 53s test-new-ci
test-new-ci
July 31, 2024 14:58 9m 53s
Fix \le/< in forest stacking (#103) .github/workflows/push.yml #352: Commit 4c2b0ea pushed by fpvandoorn
July 31, 2024 14:39 10m 40s master
master
July 31, 2024 14:39 10m 40s
Fix forest stacking .github/workflows/push_pr.yml #284: Pull request #103 synchronize by fpvandoorn
July 31, 2024 14:29 7m 3s fix_forest_stacking
fix_forest_stacking
July 31, 2024 14:29 7m 3s
Fix forest stacking .github/workflows/push_pr.yml #283: Pull request #103 opened by fpvandoorn
July 31, 2024 14:28 6m 51s fix_forest_stacking
fix_forest_stacking
July 31, 2024 14:28 6m 51s
Task 52 cleanup .github/workflows/push_pr.yml #282: Pull request #101 synchronize by nomeata
July 31, 2024 14:14 6m 42s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
July 31, 2024 14:14 6m 42s
Lemma 5.4.7 (#93) .github/workflows/push.yml #351: Commit 8a7a363 pushed by fpvandoorn
July 31, 2024 10:29 9m 50s master
master
July 31, 2024 10:29 9m 50s
fix namespace .github/workflows/push.yml #350: Commit ccaf8af pushed by fpvandoorn
July 31, 2024 10:22 9m 59s master
master
July 31, 2024 10:22 9m 59s
Task 57 .github/workflows/push_pr.yml #281: Pull request #102 synchronize by pitmonticone
July 31, 2024 10:15 6m 57s measure_biUnion_le_lintegral
measure_biUnion_le_lintegral
July 31, 2024 10:15 6m 57s
Task 57 .github/workflows/push_pr.yml #280: Pull request #102 opened by pitmonticone
July 31, 2024 10:04 6m 47s measure_biUnion_le_lintegral
measure_biUnion_le_lintegral
July 31, 2024 10:04 6m 47s
Lemma 5.4.7 .github/workflows/push_pr.yml #279: Pull request #93 synchronize by Parcly-Taxel
July 31, 2024 09:33 6m 44s Parcly-Taxel:5.4.8
Parcly-Taxel:5.4.8
July 31, 2024 09:33 6m 44s
Lemma 5.4.7 .github/workflows/push_pr.yml #278: Pull request #93 synchronize by Parcly-Taxel
July 31, 2024 09:32 6m 36s Parcly-Taxel:5.4.8
Parcly-Taxel:5.4.8
July 31, 2024 09:32 6m 36s
Task 52 cleanup .github/workflows/push_pr.yml #277: Pull request #101 synchronize by nomeata
July 30, 2024 23:55 6m 48s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
July 30, 2024 23:55 6m 48s
Task 52 cleanup .github/workflows/push_pr.yml #276: Pull request #101 synchronize by nomeata
July 30, 2024 22:52 7m 8s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
July 30, 2024 22:52 7m 8s
Task 52 cleanup .github/workflows/push_pr.yml #275: Pull request #101 synchronize by nomeata
July 30, 2024 22:07 7m 40s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
July 30, 2024 22:07 7m 40s
Task 52 cleanup .github/workflows/push_pr.yml #274: Pull request #101 opened by nomeata
July 30, 2024 21:03 6m 44s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
July 30, 2024 21:03 6m 44s
start on chapter 7 .github/workflows/push.yml #349: Commit aaa6d95 pushed by fpvandoorn
July 30, 2024 17:34 10m 20s master
master
July 30, 2024 17:34 10m 20s
Delete mk_all.sh .github/workflows/push.yml #348: Commit acd4393 pushed by pitmonticone
July 30, 2024 16:51 10m 19s master
master
July 30, 2024 16:51 10m 19s
Lemma 5.4.7 .github/workflows/push_pr.yml #273: Pull request #93 synchronize by Parcly-Taxel
July 30, 2024 15:43 8m 16s Parcly-Taxel:5.4.8
Parcly-Taxel:5.4.8
July 30, 2024 15:43 8m 16s
Lemma 5.4.7 .github/workflows/push_pr.yml #272: Pull request #93 synchronize by Parcly-Taxel
July 30, 2024 15:27 6m 45s Parcly-Taxel:5.4.8
Parcly-Taxel:5.4.8
July 30, 2024 15:27 6m 45s
Blueprint: Corrected proof of Lemma 5.4.8 (forest inner). .github/workflows/push.yml #347: Commit aaac7c6 pushed by lbeckermath
July 30, 2024 12:18 10m 26s master
master
July 30, 2024 12:18 10m 26s
Task 52 (#90) .github/workflows/push.yml #346: Commit 65803e4 pushed by fpvandoorn
July 30, 2024 09:09 10m 37s master
master
July 30, 2024 09:09 10m 37s
Task 52 .github/workflows/push_pr.yml #271: Pull request #90 synchronize by fpvandoorn
July 30, 2024 09:09 7m 10s nomeata:joachim/task52
nomeata:joachim/task52
July 30, 2024 09:09 7m 10s
Task 52 .github/workflows/push_pr.yml #270: Pull request #90 synchronize by fpvandoorn
July 30, 2024 09:05 4m 11s nomeata:joachim/task52
nomeata:joachim/task52
July 30, 2024 09:05 4m 11s
Golf Helper.lean (#100) .github/workflows/push.yml #345: Commit bb07679 pushed by fpvandoorn
July 30, 2024 08:55 9m 35s master
master
July 30, 2024 08:55 9m 35s
Golf VanDerCorput.lean (#99) .github/workflows/push.yml #344: Commit 157bf16 pushed by fpvandoorn
July 30, 2024 08:55 10m 34s master
master
July 30, 2024 08:55 10m 34s
ProTip! You can narrow down the results and go further in time using created:<2024-07-30 or the other filters available.