Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

split up the file GridStructure .github/workflows/push.yml #86: Commit 521380f pushed by fpvandoorn
June 20, 2024 14:39 14m 56s master
master
June 20, 2024 14:39 14m 56s
remove a bunch of double spaces .github/workflows/push.yml #85: Commit 337ee1f pushed by fpvandoorn
June 20, 2024 14:34 12m 49s master
master
June 20, 2024 14:34 12m 49s
leanok 4 statements .github/workflows/push.yml #84: Commit 3fb69c2 pushed by fpvandoorn
June 20, 2024 14:25 12m 51s master
master
June 20, 2024 14:25 12m 51s
rename ι to 𝓓, and make the old 𝓓 a coercion .github/workflows/push.yml #83: Commit 916ecc8 pushed by fpvandoorn
June 20, 2024 14:15 13m 20s master
master
June 20, 2024 14:15 13m 20s
Merge branch 'master' of https://github.com/fpvandoorn/carleson .github/workflows/push.yml #82: Commit 8c46ca9 pushed by mariainesdff
June 20, 2024 14:10 15m 3s master
master
June 20, 2024 14:10 15m 3s
remove duplicated merge .github/workflows/push.yml #81: Commit f8e1670 pushed by fpvandoorn
June 20, 2024 14:05 13m 31s master
master
June 20, 2024 14:05 13m 31s
add missing files .github/workflows/push.yml #80: Commit 3e65d13 pushed by fpvandoorn
June 20, 2024 13:54 2m 49s master
master
June 20, 2024 13:54 2m 49s
properly name things in ProofData, and properly define forests .github/workflows/push.yml #79: Commit d158d8f pushed by fpvandoorn
June 20, 2024 13:52 1m 32s master
master
June 20, 2024 13:52 1m 32s
Merge branch 'master' of https://github.com/fpvandoorn/carleson .github/workflows/push.yml #78: Commit c4114ee pushed by mariainesdff
June 20, 2024 13:12 12m 44s master
master
June 20, 2024 13:12 12m 44s
number theorems properly in section .github/workflows/push.yml #77: Commit cdf5b8b pushed by fpvandoorn
June 19, 2024 16:29 13m 0s master
master
June 19, 2024 16:29 13m 0s
remove a few transitive dependencies .github/workflows/push.yml #76: Commit dff3547 pushed by fpvandoorn
June 19, 2024 16:24 13m 5s master
master
June 19, 2024 16:24 13m 5s
put hypotheses shared in chapters 2-7 in a class .github/workflows/push.yml #75: Commit 8b0c97b pushed by fpvandoorn
June 19, 2024 16:24 12m 55s master
master
June 19, 2024 16:24 12m 55s
fix typo .github/workflows/push.yml #74: Commit 1208974 pushed by fpvandoorn
June 19, 2024 14:01 13m 43s master
master
June 19, 2024 14:01 13m 43s
continue on section 2 .github/workflows/push.yml #73: Commit 3bdd6fc pushed by fpvandoorn
June 19, 2024 11:52 11m 24s master
master
June 19, 2024 11:52 11m 24s
Golf proofs (#28) .github/workflows/push.yml #72: Commit 70dc650 pushed by fpvandoorn
June 18, 2024 17:12 13m 3s master
master
June 18, 2024 17:12 13m 3s
add E_disjoint to blueprint .github/workflows/push.yml #71: Commit b3af358 pushed by mariainesdff
June 18, 2024 15:23 12m 18s master
master
June 18, 2024 15:23 12m 18s
add lemma E_disjoint .github/workflows/push.yml #70: Commit 7374d55 pushed by mariainesdff
June 18, 2024 15:19 14m 43s master
master
June 18, 2024 15:19 14m 43s
Golf a few proofs (#27) .github/workflows/push.yml #69: Commit 80e1abf pushed by fpvandoorn
June 18, 2024 10:16 13m 48s master
master
June 18, 2024 10:16 13m 48s
various redefinitions, partly fix real_line file .github/workflows/push.yml #68: Commit 788e0f8 pushed by fpvandoorn
June 18, 2024 09:56 13m 49s master
master
June 18, 2024 09:56 13m 49s
corrected Hardy Littlewood statement .github/workflows/push.yml #67: Commit c5708a4 pushed by cmthiele
June 17, 2024 14:24 14m 21s master
master
June 17, 2024 14:24 14m 21s
redo Theta .github/workflows/push.yml #66: Commit 8a3150f pushed by fpvandoorn
June 17, 2024 10:07 12m 48s master
master
June 17, 2024 10:07 12m 48s
update Lean to new blueprint .github/workflows/push.yml #65: Commit 743fbe4 pushed by fpvandoorn
June 16, 2024 20:40 13m 55s master
master
June 16, 2024 20:40 13m 55s
Bump tzinfo from 1.2.9 to 1.2.10 in /docs (#26) .github/workflows/push.yml #64: Commit 6d448dd pushed by fpvandoorn
June 13, 2024 09:43 12m 44s master
master
June 13, 2024 09:43 12m 44s
Forgot another leanok... (#25) .github/workflows/push.yml #63: Commit 660f431 pushed by fpvandoorn
June 11, 2024 07:44 13m 38s master
master
June 11, 2024 07:44 13m 38s
Fix dependency and added leanok in Section 10.1 (#24) .github/workflows/push.yml #62: Commit 1098b7d pushed by fpvandoorn
June 10, 2024 09:29 14m 28s master
master
June 10, 2024 09:29 14m 28s
ProTip! You can narrow down the results and go further in time using created:<2024-06-10 or the other filters available.