Skip to content

Actions: fpvandoorn/carleson

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
817 workflow runs
817 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump GitHub actions .github/workflows/push_pr.yml #254: Pull request #94 synchronize by pitmonticone
July 26, 2024 12:29 6m 50s bump-actions
bump-actions
July 26, 2024 12:29 6m 50s
Bump GitHub actions .github/workflows/push_pr.yml #253: Pull request #94 opened by pitmonticone
July 26, 2024 12:25 6m 33s bump-actions
bump-actions
July 26, 2024 12:25 6m 33s
Lemma 5.4.7 .github/workflows/push_pr.yml #252: Pull request #93 opened by Parcly-Taxel
July 26, 2024 10:35 6m 43s Parcly-Taxel:5.4.8
Parcly-Taxel:5.4.8
July 26, 2024 10:35 6m 43s
Bump actions/cache from 3 to 4 .github/workflows/push.yml #333: Commit 5d46ad3 pushed by pitmonticone
July 26, 2024 10:23 9m 46s bump-actions
bump-actions
July 26, 2024 10:23 9m 46s
Bump actions/upload-pages-artifact from 1 to 3 .github/workflows/push.yml #332: Commit 7bd5f5a pushed by pitmonticone
July 26, 2024 10:22 10m 33s bump-actions
bump-actions
July 26, 2024 10:22 10m 33s
Bump actions/deploy-pages from 1 to 4 .github/workflows/push.yml #331: Commit 88dd075 pushed by pitmonticone
July 26, 2024 10:20 9m 31s bump-actions
bump-actions
July 26, 2024 10:20 9m 31s
Bump actions/checkout from 2 to 4 .github/workflows/push.yml #330: Commit 9e44259 pushed by pitmonticone
July 26, 2024 10:17 9m 58s bump-actions
bump-actions
July 26, 2024 10:17 9m 58s
Enrich .gitignore .github/workflows/push_pr.yml #251: Pull request #92 opened by pitmonticone
July 26, 2024 09:00 6m 44s gitignore
gitignore
July 26, 2024 09:00 6m 44s
Use dot notation (#91) .github/workflows/push.yml #329: Commit b6db988 pushed by fpvandoorn
July 25, 2024 23:37 9m 50s master
master
July 25, 2024 23:37 9m 50s
Use dot notation .github/workflows/push_pr.yml #250: Pull request #91 opened by pitmonticone
July 25, 2024 22:50 6m 42s dot-notation
dot-notation
July 25, 2024 22:50 6m 42s
one more uses in chapter 7 .github/workflows/push.yml #328: Commit dc3c491 pushed by fpvandoorn
July 25, 2024 15:09 10m 3s master
master
July 25, 2024 15:09 10m 3s
one more leanok .github/workflows/push.yml #327: Commit 3622272 pushed by fpvandoorn
July 25, 2024 14:55 10m 4s master
master
July 25, 2024 14:55 10m 4s
add a few uses and leanoks and leans .github/workflows/push.yml #326: Commit 76f3ca1 pushed by fpvandoorn
July 25, 2024 14:50 10m 4s master
master
July 25, 2024 14:50 10m 4s
fix .github/workflows/push.yml #325: Commit 1783091 pushed by fpvandoorn
July 25, 2024 14:23 9m 53s master
master
July 25, 2024 14:23 9m 53s
Cleanup .github/workflows/push.yml #324: Commit b86d950 pushed by fpvandoorn
July 25, 2024 14:13 10m 2s master
master
July 25, 2024 14:13 10m 2s
run lake exe mk_all .github/workflows/push.yml #323: Commit d1cbef1 pushed by fpvandoorn
July 25, 2024 10:09 9m 36s master
master
July 25, 2024 10:09 9m 36s
Added some \lean's and \leanok's to the blueprint, split proofs in 10… .github/workflows/push.yml #322: Commit 74b37f8 pushed by fpvandoorn
July 25, 2024 10:06 9m 54s master
master
July 25, 2024 10:06 9m 54s
Added some \lean's and \leanok's to the blueprint, split proofs in 10.2 and 11.6. .github/workflows/push_pr.yml #249: Pull request #87 synchronize by ldiedering
July 25, 2024 09:06 7m 6s ldiedering:master
ldiedering:master
July 25, 2024 09:06 7m 6s
remove missing link .github/workflows/push.yml #321: Commit 1d88440 pushed by fpvandoorn
July 25, 2024 08:53 10m 8s master
master
July 25, 2024 08:53 10m 8s
Added some \lean's and \leanok's to the blueprint, split proofs in 10.2 and 11.6. .github/workflows/push_pr.yml #248: Pull request #87 synchronize by ldiedering
July 25, 2024 07:51 7m 8s ldiedering:master
ldiedering:master
July 25, 2024 07:51 7m 8s
Added some \lean's and \leanok's to the blueprint, split proofs in 10.2 and 11.6. .github/workflows/push_pr.yml #247: Pull request #87 synchronize by ldiedering
July 25, 2024 07:42 6m 27s ldiedering:master
ldiedering:master
July 25, 2024 07:42 6m 27s
Task 52 .github/workflows/push_pr.yml #246: Pull request #90 synchronize by nomeata
July 25, 2024 07:07 6m 28s nomeata:joachim/task52
nomeata:joachim/task52
July 25, 2024 07:07 6m 28s
make constant argument of sublinear .github/workflows/push.yml #320: Commit 9e0b315 pushed by fpvandoorn
July 24, 2024 19:43 10m 5s master
master
July 24, 2024 19:43 10m 5s
reformulate lemmas about M .github/workflows/push.yml #319: Commit 2dfa3e2 pushed by fpvandoorn
July 24, 2024 19:20 9m 8s master
master
July 24, 2024 19:20 9m 8s
simplify second part of Hardy-Littlewood .github/workflows/push.yml #318: Commit ec41c4d pushed by fpvandoorn
July 24, 2024 19:00 10m 43s master
master
July 24, 2024 19:00 10m 43s
ProTip! You can narrow down the results and go further in time using created:<2024-07-24 or the other filters available.