Skip to content

Actions: fpvandoorn/carleson

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
272 workflow run results
272 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
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
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
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
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
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
July 22, 2024 11:02 9m 57s
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
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
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
July 19, 2024 10:08 9m 22s
Prepare Section 5.5
.github/workflows/push.yml #305: Commit 33fc672 pushed by fpvandoorn
July 18, 2024 23:14 7h 17m 37s master
July 18, 2024 23:14 7h 17m 37s
make metric_carleson consistent with ProofData
.github/workflows/push.yml #304: Commit 7261d81 pushed by fpvandoorn
July 18, 2024 21:30 9m 24s master
July 18, 2024 21:30 9m 24s
Added metric space Carleson variant for two-sided Calderon-Zygmund ke…
.github/workflows/push.yml #303: Commit 2f85189 pushed by fpvandoorn
July 18, 2024 20:52 10m 0s master
July 18, 2024 20:52 10m 0s
add leanok
.github/workflows/push.yml #302: Commit 911e993 pushed by fpvandoorn
July 18, 2024 19:40 9m 8s master
July 18, 2024 19:40 9m 8s
.github/workflows/push.yml
.github/workflows/push.yml #301: by fpvandoorn
July 18, 2024 19:39 9m 13s master
July 18, 2024 19:39 9m 13s
Lemma 5.2.7 (#81)
.github/workflows/push.yml #300: Commit f811867 pushed by fpvandoorn
July 18, 2024 13:16 9m 30s master
July 18, 2024 13:16 9m 30s
Speed up CI (#80)
.github/workflows/push.yml #299: Commit 5a5a973 pushed by fpvandoorn
July 16, 2024 21:17 21m 51s master
July 16, 2024 21:17 21m 51s
Lemmas 5.4.5 to 5.4.7 (#79)
.github/workflows/push.yml #298: Commit ac7e290 pushed by fpvandoorn
July 16, 2024 19:38 20m 7s master
July 16, 2024 19:38 20m 7s
Remove lake files from documentation in docs/docs
.github/workflows/push.yml #297: Commit 6f311c9 pushed by pitmonticone
July 16, 2024 19:33 8m 45s workflow
July 16, 2024 19:33 8m 45s
Update push.yml
.github/workflows/push.yml #296: Commit 32b4a44 pushed by pitmonticone
July 16, 2024 16:15 8m 53s workflow
July 16, 2024 16:15 8m 53s
Add .lake/build/doc/find to cache
.github/workflows/push.yml #295: Commit e3e14a1 pushed by pitmonticone
July 16, 2024 16:15 32s workflow
July 16, 2024 16:15 32s
Add to cache .lake/build/doc/*.*
.github/workflows/push.yml #294: Commit 4b88e1e pushed by pitmonticone
July 16, 2024 15:44 5m 53s workflow
July 16, 2024 15:44 5m 53s
Uncomment step
.github/workflows/push.yml #293: Commit ceefb00 pushed by pitmonticone
July 16, 2024 15:05 5m 42s workflow
July 16, 2024 15:05 5m 42s
Update push.yml
.github/workflows/push.yml #292: Commit 166362a pushed by pitmonticone
July 16, 2024 14:32 5m 47s workflow
July 16, 2024 14:32 5m 47s
Comment out "Remove lake files"
.github/workflows/push.yml #291: Commit a050b79 pushed by pitmonticone
July 16, 2024 14:18 7m 28s workflow
July 16, 2024 14:18 7m 28s
Update push.yml
.github/workflows/push.yml #290: Commit 8269e6f pushed by pitmonticone
July 16, 2024 13:39 5m 46s workflow
July 16, 2024 13:39 5m 46s