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

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
hopefully fix documentation build .github/workflows/push.yml #61: Commit 17b38f1 pushed by fpvandoorn
June 9, 2024 21:01 24m 21s master
master
June 9, 2024 21:01 24m 21s
Update blueprint section 10 (#22) .github/workflows/push.yml #60: Commit 823dd5f pushed by fpvandoorn
June 9, 2024 11:28 3m 54s master
master
June 9, 2024 11:28 3m 54s
Golf a few proofs (#20) .github/workflows/push.yml #59: Commit ab03f7e pushed by fpvandoorn
June 7, 2024 13:29 3m 55s master
master
June 7, 2024 13:29 3m 55s
fix lake manifest .github/workflows/push.yml #58: Commit 9441057 pushed by fpvandoorn
June 7, 2024 12:04 4m 4s master
master
June 7, 2024 12:04 4m 4s
Fix abstract location (blueprint web) (#19) .github/workflows/push.yml #57: Commit 823ebd8 pushed by fpvandoorn
June 7, 2024 11:54 42s master
master
June 7, 2024 11:54 42s
bump Lean and Mathlib .github/workflows/push.yml #56: Commit ddaf313 pushed by fpvandoorn
June 7, 2024 10:51 47s master
master
June 7, 2024 10:51 47s
Add files for Classical Carleson (#18) .github/workflows/push.yml #55: Commit bec7808 pushed by fpvandoorn
June 6, 2024 14:58 43s master
master
June 6, 2024 14:58 43s
more leanok updates .github/workflows/push.yml #54: Commit c91c887 pushed by cmthiele
June 3, 2024 14:04 11m 59s master
master
June 3, 2024 14:04 11m 59s
lower secant bound ok, hilbert kernel bound ok .github/workflows/push.yml #53: Commit 3849626 pushed by cmthiele
June 3, 2024 12:48 16m 21s master
master
June 3, 2024 12:48 16m 21s
Updates from Overleaf .github/workflows/push.yml #52: Commit 487685f pushed by cmthiele
June 3, 2024 12:37 11m 27s master
master
June 3, 2024 12:37 11m 27s
Fix label error (#17) .github/workflows/push.yml #51: Commit b96fd48 pushed by fpvandoorn
May 31, 2024 13:12 22m 30s master
master
May 31, 2024 13:12 22m 30s
Add \Cref to proposition and sub-sub-section (#15) .github/workflows/push.yml #50: Commit 65751a1 pushed by fpvandoorn
May 12, 2024 00:36 12m 4s master
master
May 12, 2024 00:36 12m 4s
Add section and subsection \Cref (#14) .github/workflows/push.yml #49: Commit d668589 pushed by fpvandoorn
May 10, 2024 17:17 10m 57s master
master
May 10, 2024 17:17 10m 57s
Updates from Overleaf .github/workflows/push.yml #48: Commit 53460be pushed by cmthiele
May 10, 2024 17:15 12m 47s master
master
May 10, 2024 17:15 12m 47s