Skip to content

Actions: fpvandoorn/carleson

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
243 workflow run results
243 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Blueprint: changed 1_F to f in Section 3, small change in grid structure .github/workflows/push.yml #147: Commit a981112 pushed by cmthiele
June 28, 2024 11:32 11m 46s master
master
June 28, 2024 11:32 11m 46s
Tile existence lemma .github/workflows/push_pr.yml #97: Pull request #46 synchronize by Parcly-Taxel
June 28, 2024 10:49 2m 37s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
June 28, 2024 10:49 2m 37s
Merge overleaf-2024-06-28-1033 into master .github/workflows/push.yml #146: Commit 7f770c2 pushed by cmthiele
June 28, 2024 10:33 12m 49s master
master
June 28, 2024 10:33 12m 49s
remove subset notation for GridStructure, weaken relative_fundamental… .github/workflows/push.yml #145: Commit 698aec5 pushed by fpvandoorn
June 28, 2024 10:20 11m 44s master
master
June 28, 2024 10:20 11m 44s
Tile existence lemma .github/workflows/push_pr.yml #96: Pull request #46 synchronize by Parcly-Taxel
June 28, 2024 09:25 2m 55s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
June 28, 2024 09:25 2m 55s
Tile existence lemma .github/workflows/push_pr.yml #95: Pull request #46 synchronize by Parcly-Taxel
June 28, 2024 08:12 2m 49s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
June 28, 2024 08:12 2m 49s
Tile existence lemma .github/workflows/push_pr.yml #94: Pull request #46 opened by Parcly-Taxel
June 28, 2024 04:33 2m 36s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
June 28, 2024 04:33 2m 36s
Second part of tile existence lemma (#44) .github/workflows/push.yml #144: Commit ebed64c pushed by fpvandoorn
June 27, 2024 17:33 11m 41s master
master
June 27, 2024 17:33 11m 41s
Second part of tile existence lemma .github/workflows/push_pr.yml #93: Pull request #44 synchronize by Parcly-Taxel
June 27, 2024 16:27 3m 20s Parcly-Taxel:4.0.2-2
Parcly-Taxel:4.0.2-2
June 27, 2024 16:27 3m 20s
Second part of tile existence lemma .github/workflows/push_pr.yml #92: Pull request #44 synchronize by Parcly-Taxel
June 27, 2024 16:19 2m 43s Parcly-Taxel:4.0.2-2
Parcly-Taxel:4.0.2-2
June 27, 2024 16:19 2m 43s
Blueprint: Added that I(p) \ne I(u) in 2.0.32. .github/workflows/push.yml #143: Commit 843c8ca pushed by cmthiele
June 27, 2024 16:14 12m 2s master
master
June 27, 2024 16:14 12m 2s
Second part of tile existence lemma .github/workflows/push_pr.yml #91: Pull request #44 opened by Parcly-Taxel
June 27, 2024 16:06 2m 57s Parcly-Taxel:4.0.2-2
Parcly-Taxel:4.0.2-2
June 27, 2024 16:06 2m 57s
fix order on tiles .github/workflows/push.yml #142: Commit dc22b72 pushed by fpvandoorn
June 26, 2024 11:56 14m 48s master
master
June 26, 2024 11:56 14m 48s
undo version changes .github/workflows/push.yml #141: Commit 73aab42 pushed by fpvandoorn
June 26, 2024 10:01 14m 56s master
master
June 26, 2024 10:01 14m 56s
attempt: add cleanup step .github/workflows/push.yml #140: Commit 430ed7c pushed by fpvandoorn
June 26, 2024 09:56 12s master
master
June 26, 2024 09:56 12s
two leanoks .github/workflows/push.yml #139: Commit 5d4c950 pushed by fpvandoorn
June 26, 2024 08:54 13m 8s master
master
June 26, 2024 08:54 13m 8s
4.2.2 and 4.2.3 (#43) .github/workflows/push.yml #138: Commit 46a29c0 pushed by fpvandoorn
June 26, 2024 08:53 14m 22s master
master
June 26, 2024 08:53 14m 22s
4.2.2 and 4.2.3 .github/workflows/push_pr.yml #90: Pull request #43 synchronize by Parcly-Taxel
June 26, 2024 08:14 2m 43s Parcly-Taxel:4.2.2
Parcly-Taxel:4.2.2
June 26, 2024 08:14 2m 43s
4.2.2 and 4.2.3 .github/workflows/push_pr.yml #89: Pull request #43 synchronize by Parcly-Taxel
June 26, 2024 07:52 2m 53s Parcly-Taxel:4.2.2
Parcly-Taxel:4.2.2
June 26, 2024 07:52 2m 53s
4.2.2 and 4.2.3 .github/workflows/push_pr.yml #88: Pull request #43 opened by Parcly-Taxel
June 26, 2024 07:47 2m 43s Parcly-Taxel:4.2.2
Parcly-Taxel:4.2.2
June 26, 2024 07:47 2m 43s
Merge overleaf-2024-06-25-2302 into master .github/workflows/push.yml #137: Commit 7a8a24d pushed by cmthiele
June 25, 2024 23:02 14m 7s master
master
June 25, 2024 23:02 14m 7s
add some comments about LE and subset .github/workflows/push.yml #136: Commit 7151c6f pushed by fpvandoorn
June 25, 2024 22:35 11m 58s master
master
June 25, 2024 22:35 11m 58s
undo making coeD injective .github/workflows/push.yml #135: Commit a97e27f pushed by fpvandoorn
June 25, 2024 22:22 12m 53s master
master
June 25, 2024 22:22 12m 53s
bump mathlib .github/workflows/push.yml #134: Commit da09006 pushed by fpvandoorn
June 25, 2024 21:35 24m 3s master
master
June 25, 2024 21:35 24m 3s
minor style change .github/workflows/push.yml #133: Commit a25d65f pushed by fpvandoorn
June 25, 2024 21:12 12m 46s master
master
June 25, 2024 21:12 12m 46s