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

Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #306: Pull request #109 synchronize by Parcly-Taxel
August 7, 2024 07:57 7m 14s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 7, 2024 07:57 7m 14s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #305: Pull request #109 synchronize by fpvandoorn
August 7, 2024 07:24 7m 24s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 7, 2024 07:24 7m 24s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #304: Pull request #109 synchronize by Parcly-Taxel
August 6, 2024 05:26 7m 27s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 6, 2024 05:26 7m 27s
Update mathlib4 to v4.11.0-rc2 .github/workflows/push_pr.yml #303: Pull request #109 opened by Parcly-Taxel
August 6, 2024 05:09 7m 52s Parcly-Taxel:mathlib-update
Parcly-Taxel:mathlib-update
August 6, 2024 05:09 7m 52s
Task 52 cleanup .github/workflows/push_pr.yml #302: Pull request #101 synchronize by nomeata
August 5, 2024 14:36 6m 53s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
August 5, 2024 14:36 6m 53s
Added a.e. version of classical Carleson; some cleanup. .github/workflows/push_pr.yml #301: Pull request #108 opened by ldiedering
August 4, 2024 13:01 6m 50s ldiedering:master
ldiedering:master
August 4, 2024 13:01 6m 50s
Prove MeasureTheory.SublinearOn.maximalFunction .github/workflows/push_pr.yml #300: Pull request #107 synchronize by js2357
August 4, 2024 10:25 6m 48s js2357:maximalFunction
js2357:maximalFunction
August 4, 2024 10:25 6m 48s
Prove MeasureTheory.SublinearOn.maximalFunction .github/workflows/push_pr.yml #299: Pull request #107 synchronize by js2357
August 4, 2024 10:18 6m 47s js2357:maximalFunction
js2357:maximalFunction
August 4, 2024 10:18 6m 47s
Prove MeasureTheory.SublinearOn.maximalFunction .github/workflows/push_pr.yml #298: Pull request #107 opened by js2357
August 4, 2024 10:09 7m 28s js2357:maximalFunction
js2357:maximalFunction
August 4, 2024 10:09 7m 28s
Lemma 5.5.1 and 5.5.3 .github/workflows/push_pr.yml #297: Pull request #106 synchronize by Parcly-Taxel
August 4, 2024 07:43 7m 11s Parcly-Taxel:antichaindecomp
Parcly-Taxel:antichaindecomp
August 4, 2024 07:43 7m 11s
Lemma 5.5.1 and 5.5.3 .github/workflows/push_pr.yml #296: Pull request #106 opened by Parcly-Taxel
August 3, 2024 05:14 6m 58s Parcly-Taxel:antichaindecomp
Parcly-Taxel:antichaindecomp
August 3, 2024 05:14 6m 58s
Task 52 cleanup .github/workflows/push_pr.yml #295: Pull request #101 synchronize by nomeata
August 2, 2024 16:32 7m 6s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
August 2, 2024 16:32 7m 6s
Task 52 cleanup .github/workflows/push_pr.yml #294: Pull request #101 synchronize by nomeata
August 2, 2024 13:10 7m 3s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
August 2, 2024 13:10 7m 3s
Task 52 cleanup .github/workflows/push_pr.yml #293: Pull request #101 synchronize by nomeata
August 1, 2024 23:20 6m 49s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
August 1, 2024 23:20 6m 49s
Task 52 cleanup .github/workflows/push_pr.yml #292: Pull request #101 synchronize by nomeata
August 1, 2024 11:42 6m 47s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
August 1, 2024 11:42 6m 47s
Task 52 cleanup .github/workflows/push_pr.yml #291: Pull request #101 synchronize by nomeata
August 1, 2024 11:02 6m 44s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
August 1, 2024 11:02 6m 44s
Lemma 5.2.10, Task 58 .github/workflows/push_pr.yml #290: Pull request #105 synchronize by Parcly-Taxel
August 1, 2024 09:19 7m 36s Parcly-Taxel:thirdex
Parcly-Taxel:thirdex
August 1, 2024 09:19 7m 36s
Lemma 5.2.10, Task 58 .github/workflows/push_pr.yml #289: Pull request #105 synchronize by Parcly-Taxel
August 1, 2024 05:56 6m 38s Parcly-Taxel:thirdex
Parcly-Taxel:thirdex
August 1, 2024 05:56 6m 38s
Lemma 5.2.10, Task 58 .github/workflows/push_pr.yml #288: Pull request #105 opened by Parcly-Taxel
August 1, 2024 05:40 6m 44s Parcly-Taxel:thirdex
Parcly-Taxel:thirdex
August 1, 2024 05:40 6m 44s
Task 52 cleanup .github/workflows/push_pr.yml #287: Pull request #101 synchronize by nomeata
August 1, 2024 00:03 7m 10s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
August 1, 2024 00:03 7m 10s
Task 52 cleanup .github/workflows/push_pr.yml #286: Pull request #101 synchronize by nomeata
July 31, 2024 22:45 6m 33s nomeata:joachim/task52-cleanup
nomeata:joachim/task52-cleanup
July 31, 2024 22:45 6m 33s
outline of chapter 7 .github/workflows/push_pr.yml #285: Pull request #104 opened by fpvandoorn
July 31, 2024 18:01 3m 53s forest-operator-outline
forest-operator-outline
July 31, 2024 18:01 3m 53s
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