Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
147 workflow run results
147 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
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
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
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
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
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
add ProofData to C2_0_2_pos (#42) .github/workflows/push.yml #132: Commit 5045bce pushed by fpvandoorn
June 25, 2024 21:10 14m 27s master
master
June 25, 2024 21:10 14m 27s
Golf a few proofs (#41) .github/workflows/push.yml #131: Commit f98573b pushed by fpvandoorn
June 25, 2024 19:09 12m 56s master
master
June 25, 2024 19:09 12m 56s
Lars, Christoph implementing Georges remaining suggestions from Monday. .github/workflows/push.yml #130: Commit 5b3faa4 pushed by cmthiele
June 25, 2024 16:16 15m 35s master
master
June 25, 2024 16:16 15m 35s
change GridStructure and TileStructure .github/workflows/push.yml #129: Commit 82ff3c2 pushed by fpvandoorn
June 25, 2024 14:49 14m 57s master
master
June 25, 2024 14:49 14m 57s
session lars floris ct .github/workflows/push.yml #128: Commit 8ba0940 pushed by cmthiele
June 25, 2024 13:55 15m 19s master
master
June 25, 2024 13:55 15m 19s
attempt: split up tex file .github/workflows/push.yml #127: Commit 119ea3c pushed by fpvandoorn
June 25, 2024 12:18 13m 28s master
master
June 25, 2024 12:18 13m 28s
push new files .github/workflows/push.yml #126: Commit 99b555c pushed by fpvandoorn
June 25, 2024 12:10 16m 6s master
master
June 25, 2024 12:10 16m 6s
work on chapter 9 .github/workflows/push.yml #125: Commit 33e9f95 pushed by fpvandoorn
June 25, 2024 12:02 1m 30s master
master
June 25, 2024 12:02 1m 30s
some Lean cleanup .github/workflows/push.yml #124: Commit f55bb67 pushed by fpvandoorn
June 25, 2024 09:38 12m 34s master
master
June 25, 2024 09:38 12m 34s
finished 4.1.1 and 4.1.2 (#40) .github/workflows/push.yml #123: Commit b58381e pushed by fpvandoorn
June 25, 2024 08:56 15m 56s master
master
June 25, 2024 08:56 15m 56s