Skip to content

Actions: fpvandoorn/carleson

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update push.yml .github/workflows/push.yml #290: Commit 8269e6f pushed by pitmonticone
July 16, 2024 13:39 5m 46s workflow
workflow
July 16, 2024 13:39 5m 46s
Lemma 5.4.(1–3) (#74) .github/workflows/push.yml #289: Commit 0e27d0e pushed by fpvandoorn
July 15, 2024 18:45 20m 39s master
master
July 15, 2024 18:45 20m 39s
Lemma 5.4.(1–3) .github/workflows/push_pr.yml #217: Pull request #74 synchronize by Parcly-Taxel
July 15, 2024 18:20 6m 6s Parcly-Taxel:urel
Parcly-Taxel:urel
July 15, 2024 18:20 6m 6s
Lemma 5.4.(1–3) .github/workflows/push_pr.yml #216: Pull request #74 synchronize by Parcly-Taxel
July 15, 2024 17:50 5m 48s Parcly-Taxel:urel
Parcly-Taxel:urel
July 15, 2024 17:50 5m 48s
update from Lars .github/workflows/push.yml #288: Commit f14f197 pushed by fpvandoorn
July 15, 2024 16:00 19m 45s master
master
July 15, 2024 16:00 19m 45s
some cleanup in DiscreteCarleson .github/workflows/push.yml #287: Commit 81da680 pushed by fpvandoorn
July 15, 2024 13:54 19m 36s master
master
July 15, 2024 13:54 19m 36s
Prove Lemma 5.2.1 (#77) .github/workflows/push.yml #286: Commit 1e56387 pushed by fpvandoorn
July 15, 2024 13:49 3m 4s master
master
July 15, 2024 13:49 3m 4s
Lemma 5.1.1 (#78) .github/workflows/push.yml #285: Commit 1bc2ab0 pushed by fpvandoorn
July 15, 2024 13:36 19m 43s master
master
July 15, 2024 13:36 19m 43s
Golf (#76) .github/workflows/push.yml #284: Commit 68d7666 pushed by fpvandoorn
July 15, 2024 13:29 20m 37s master
master
July 15, 2024 13:29 20m 37s
clean Psi.lean (#75) .github/workflows/push.yml #283: Commit 291402e pushed by fpvandoorn
July 15, 2024 13:27 20m 30s master
master
July 15, 2024 13:27 20m 30s
Lemma 5.1.1 .github/workflows/push_pr.yml #215: Pull request #78 synchronize by austinletson
July 15, 2024 12:44 5m 45s austinletson:lemma-5-1-1
austinletson:lemma-5-1-1
July 15, 2024 12:44 5m 45s
Prove Lemma 5.2.1 .github/workflows/push_pr.yml #212: Pull request #77 opened by js2357
July 14, 2024 07:08 5m 35s js2357:5.2.1
js2357:5.2.1
July 14, 2024 07:08 5m 35s
Golf .github/workflows/push_pr.yml #211: Pull request #76 opened by pitmonticone
July 13, 2024 15:55 5m 38s golf
golf
July 13, 2024 15:55 5m 38s
clean Psi.lean .github/workflows/push_pr.yml #210: Pull request #75 synchronize by pitmonticone
July 13, 2024 15:14 5m 46s clean-psi
clean-psi
July 13, 2024 15:14 5m 46s
clean Psi.lean .github/workflows/push_pr.yml #209: Pull request #75 opened by pitmonticone
July 13, 2024 15:14 6m 16s clean-psi
clean-psi
July 13, 2024 15:14 6m 16s
Lemma 5.4.(1–3) .github/workflows/push_pr.yml #208: Pull request #74 opened by Parcly-Taxel
July 13, 2024 11:06 5m 48s Parcly-Taxel:urel
Parcly-Taxel:urel
July 13, 2024 11:06 5m 48s
remove remark .github/workflows/push.yml #282: Commit d402a17 pushed by fpvandoorn
July 12, 2024 19:47 19m 13s master
master
July 12, 2024 19:47 19m 13s
prepare section 5.4 .github/workflows/push.yml #281: Commit 8152107 pushed by fpvandoorn
July 12, 2024 19:44 19m 26s master
master
July 12, 2024 19:44 19m 26s
Prove Icc_subset (#73) .github/workflows/push.yml #280: Commit 7c4ff1a pushed by fpvandoorn
July 12, 2024 19:07 19m 12s master
master
July 12, 2024 19:07 19m 12s
Convexity lemmas (5.3.5 to 5.3.12) (#71) .github/workflows/push.yml #279: Commit ae2a7e7 pushed by fpvandoorn
July 12, 2024 18:56 20m 29s master
master
July 12, 2024 18:56 20m 29s
Prove Icc_subset .github/workflows/push_pr.yml #207: Pull request #73 opened by js2357
July 12, 2024 17:55 5m 43s js2357:Icc_subset
js2357:Icc_subset
July 12, 2024 17:55 5m 43s
Convexity lemmas (5.3.5 to 5.3.12) .github/workflows/push_pr.yml #206: Pull request #71 synchronize by Parcly-Taxel
July 12, 2024 14:43 5m 41s Parcly-Taxel:convexities
Parcly-Taxel:convexities
July 12, 2024 14:43 5m 41s
Convexity lemmas (5.3.5 to 5.3.12) .github/workflows/push_pr.yml #205: Pull request #71 synchronize by Parcly-Taxel
July 12, 2024 14:41 5m 50s Parcly-Taxel:convexities
Parcly-Taxel:convexities
July 12, 2024 14:41 5m 50s
Convexity lemmas (5.3.5 to 5.3.12) .github/workflows/push_pr.yml #204: Pull request #71 synchronize by Parcly-Taxel
July 12, 2024 13:57 5m 32s Parcly-Taxel:convexities
Parcly-Taxel:convexities
July 12, 2024 13:57 5m 32s
oops, semantic merge conflict .github/workflows/push.yml #278: Commit 5a83b4a pushed by fpvandoorn
July 12, 2024 13:36 19m 42s master
master
July 12, 2024 13:36 19m 42s