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

add a few proof environments .github/workflows/push.yml #314: Commit 7da9ddb pushed by fpvandoorn
July 22, 2024 22:36 9m 28s master
master
July 22, 2024 22:36 9m 28s
remove lemma C6-convex .github/workflows/push.yml #313: Commit 9bf3e33 pushed by fpvandoorn
July 22, 2024 21:33 9m 53s master
master
July 22, 2024 21:33 9m 53s
Prove Lemma 5.2.8 (#88) .github/workflows/push.yml #312: Commit 16a4b47 pushed by fpvandoorn
July 22, 2024 21:26 9m 52s master
master
July 22, 2024 21:26 9m 52s
Prepare chapter 8 .github/workflows/push.yml #311: Commit ebacc93 pushed by fpvandoorn
July 22, 2024 14:16 9m 31s master
master
July 22, 2024 14:16 9m 31s
Lemma 5.4.9 (#85) .github/workflows/push.yml #310: Commit 8216ca6 pushed by fpvandoorn
July 22, 2024 13:11 10m 9s master
master
July 22, 2024 13:11 10m 9s
Prove lemmas about wnorm (#89) .github/workflows/push.yml #309: Commit a6682db pushed by fpvandoorn
July 22, 2024 11:02 9m 57s master
master
July 22, 2024 11:02 9m 57s
Prove lemmas about wnorm .github/workflows/push_pr.yml #243: Pull request #89 synchronize by pitmonticone
July 21, 2024 19:42 6m 51s js2357:wnorm
js2357:wnorm
July 21, 2024 19:42 6m 51s
Prove lemmas about wnorm .github/workflows/push_pr.yml #242: Pull request #89 opened by js2357
July 21, 2024 07:04 6m 17s js2357:wnorm
js2357:wnorm
July 21, 2024 07:04 6m 17s
Prove Lemma 5.2.8 .github/workflows/push_pr.yml #241: Pull request #88 synchronize by js2357
July 20, 2024 10:20 6m 14s js2357:5.2.8
js2357:5.2.8
July 20, 2024 10:20 6m 14s
Prove Lemma 5.2.8 .github/workflows/push_pr.yml #240: Pull request #88 synchronize by js2357
July 20, 2024 10:19 6m 27s js2357:5.2.8
js2357:5.2.8
July 20, 2024 10:19 6m 27s
Prove Lemma 5.2.8 .github/workflows/push_pr.yml #239: Pull request #88 synchronize by js2357
July 20, 2024 10:16 6m 36s js2357:5.2.8
js2357:5.2.8
July 20, 2024 10:16 6m 36s
Prove Lemma 5.2.8 .github/workflows/push_pr.yml #238: Pull request #88 opened by js2357
July 20, 2024 05:02 6m 58s js2357:5.2.8
js2357:5.2.8
July 20, 2024 05:02 6m 58s
Lemma 5.4.9 .github/workflows/push_pr.yml #237: Pull request #85 synchronize by Parcly-Taxel
July 20, 2024 03:55 6m 7s Parcly-Taxel:5.4.9
Parcly-Taxel:5.4.9
July 20, 2024 03:55 6m 7s
Lemma 5.4.9 .github/workflows/push_pr.yml #236: Pull request #85 synchronize by Parcly-Taxel
July 20, 2024 03:54 7m 12s Parcly-Taxel:5.4.9
Parcly-Taxel:5.4.9
July 20, 2024 03:54 7m 12s
Added some \lean's and \leanok's to the blueprint, split proofs in 10.2 and 11.6. .github/workflows/push_pr.yml #235: Pull request #87 synchronize by ldiedering
July 19, 2024 22:46 6m 35s ldiedering:master
ldiedering:master
July 19, 2024 22:46 6m 35s
Added some \lean's and \leanok's to the blueprint, split proofs in 10.2 and 11.6. .github/workflows/push_pr.yml #234: Pull request #87 synchronize by ldiedering
July 19, 2024 22:31 3m 17s ldiedering:master
ldiedering:master
July 19, 2024 22:31 3m 17s
add lean tags for remainder of 4.1 in blueprint (#86) .github/workflows/push.yml #308: Commit 9d289d9 pushed by fpvandoorn
July 19, 2024 10:15 9m 37s master
master
July 19, 2024 10:15 9m 37s
Golf #82 (#83) .github/workflows/push.yml #307: Commit 2e1c56e pushed by fpvandoorn
July 19, 2024 10:09 9m 15s master
master
July 19, 2024 10:09 9m 15s
Golf #36 (#84) .github/workflows/push.yml #306: Commit aae66cc pushed by fpvandoorn
July 19, 2024 10:08 9m 22s master
master
July 19, 2024 10:08 9m 22s
add lean tags for remainder of 4.1 in blueprint .github/workflows/push_pr.yml #233: Pull request #86 opened by edegeltje
July 19, 2024 07:40 6m 30s edegeltje:missing-tags
edegeltje:missing-tags
July 19, 2024 07:40 6m 30s
Lemma 5.4.9 .github/workflows/push_pr.yml #232: Pull request #85 synchronize by Parcly-Taxel
July 19, 2024 06:36 6m 32s Parcly-Taxel:5.4.9
Parcly-Taxel:5.4.9
July 19, 2024 06:36 6m 32s
Lemma 5.4.9 .github/workflows/push_pr.yml #231: Pull request #85 opened by Parcly-Taxel
July 19, 2024 06:23 6m 25s Parcly-Taxel:5.4.9
Parcly-Taxel:5.4.9
July 19, 2024 06:23 6m 25s
Golf #36 .github/workflows/push_pr.yml #230: Pull request #84 opened by pitmonticone
July 19, 2024 00:46 5h 43m 57s golf-36
golf-36
July 19, 2024 00:46 5h 43m 57s
Prepare Section 5.5 .github/workflows/push.yml #305: Commit 33fc672 pushed by fpvandoorn
July 18, 2024 23:14 7h 17m 37s master
master
July 18, 2024 23:14 7h 17m 37s
Golf #82 .github/workflows/push_pr.yml #229: Pull request #83 opened by pitmonticone
July 18, 2024 22:48 7h 41m 38s golf-82
golf-82
July 18, 2024 22:48 7h 41m 38s