Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

simplify proof in Misc.lean .github/workflows/push.yml #403: Commit 4be01dd pushed by fpvandoorn
September 27, 2024 14:27 11m 32s master
master
September 27, 2024 14:27 11m 32s
split the ForestOperator file (#138) .github/workflows/push.yml #402: Commit 5e49c36 pushed by fpvandoorn
September 27, 2024 13:17 11m 34s master
master
September 27, 2024 13:17 11m 34s
refactor: golf (#137) .github/workflows/push.yml #401: Commit 1eead74 pushed by pitmonticone
September 26, 2024 18:35 12m 4s master
master
September 26, 2024 18:35 12m 4s
Finish the proof of Lemma 7.1.5 + Lemma 7.4.7 (#136) .github/workflows/push.yml #400: Commit 4f652aa pushed by fpvandoorn
September 26, 2024 13:23 12m 13s master
master
September 26, 2024 13:23 12m 13s
update update-mathlib script .github/workflows/push.yml #399: Commit d47fde1 pushed by fpvandoorn
September 25, 2024 15:10 13m 7s master
master
September 25, 2024 15:10 13m 7s
prove adjoint_tree_control (#135) .github/workflows/push.yml #398: Commit 5b9797e pushed by fpvandoorn
September 25, 2024 14:52 11m 22s master
master
September 25, 2024 14:52 11m 22s
incorporate blueprint fix .github/workflows/push.yml #397: Commit 68e8622 pushed by fpvandoorn
September 25, 2024 14:44 11m 29s master
master
September 25, 2024 14:44 11m 29s
Fixed two typos in section 7 of blueprint .github/workflows/push.yml #396: Commit 5e26c5c pushed by lbeckermath
September 25, 2024 12:28 11m 13s master
master
September 25, 2024 12:28 11m 13s
Task 61 (#134) .github/workflows/push.yml #395: Commit ff89e6f pushed by fpvandoorn
September 25, 2024 10:02 22m 31s master
master
September 25, 2024 10:02 22m 31s
Update mathlib, deduplicate some lemmas (#133) .github/workflows/push.yml #394: Commit e805e2e pushed by fpvandoorn
September 25, 2024 10:02 22m 52s master
master
September 25, 2024 10:02 22m 52s
fix(push_pr): check with Kenv=dev .github/workflows/push.yml #393: Commit 6822f48 pushed by fpvandoorn
September 25, 2024 09:53 11m 14s master
master
September 25, 2024 09:53 11m 14s
start on 7.4.3, also add measurability conditions .github/workflows/push.yml #392: Commit bbe2c5a pushed by fpvandoorn
September 24, 2024 16:05 11m 6s master
master
September 24, 2024 16:05 11m 6s
underscores in label names do not seem to work properly .github/workflows/push.yml #391: Commit eeb77c9 pushed by fpvandoorn
September 24, 2024 12:54 11m 47s master
master
September 24, 2024 12:54 11m 47s
Lemma 7.2.4 (#132) .github/workflows/push.yml #390: Commit 43d3f30 pushed by fpvandoorn
September 24, 2024 09:23 11m 27s master
master
September 24, 2024 09:23 11m 27s
Proposition 2.0.2, split Discrete.Forests (#131) .github/workflows/push.yml #389: Commit 310e13d pushed by fpvandoorn
September 24, 2024 09:18 11m 20s master
master
September 24, 2024 09:18 11m 20s
Lemma 7.1.1, 7.1.2 and most of 7.1.5 (#130) .github/workflows/push.yml #388: Commit 52bab2f pushed by fpvandoorn
September 20, 2024 12:14 13m 58s master
master
September 20, 2024 12:14 13m 58s
one forgotten leanok .github/workflows/push.yml #387: Commit 8016280 pushed by fpvandoorn
September 19, 2024 13:55 11m 46s master
master
September 19, 2024 13:55 11m 46s
Lemma 5.5.2 (#129) .github/workflows/push.yml #386: Commit 1aaf327 pushed by fpvandoorn
September 19, 2024 09:07 12m 58s master
master
September 19, 2024 09:07 12m 58s
Miscellaneous golfs, mostly to RealInterpolation.lean (#128) .github/workflows/push.yml #385: Commit 3e77e05 pushed by pitmonticone
September 15, 2024 21:43 11m 50s master
master
September 15, 2024 21:43 11m 50s
Some real interpolation cleanup (#127) .github/workflows/push.yml #384: Commit b3f42a7 pushed by fpvandoorn
September 13, 2024 21:38 11m 35s master
master
September 13, 2024 21:38 11m 35s
refactor(RealInterpolation): golf (#126) .github/workflows/push.yml #383: Commit 44c8675 pushed by pitmonticone
September 13, 2024 18:23 11m 39s master
master
September 13, 2024 18:23 11m 39s
State lemmas in chapter 7 (#125) .github/workflows/push.yml #382: Commit 2bdc6c0 pushed by fpvandoorn
September 13, 2024 10:41 11m 20s master
master
September 13, 2024 10:41 11m 20s
by exact (#124) .github/workflows/push.yml #381: Commit dbcd100 pushed by pitmonticone
September 13, 2024 08:33 12m 10s master
master
September 13, 2024 08:33 12m 10s
chore: further clean-ups and golfs (#121) .github/workflows/push.yml #380: Commit 8b76725 pushed by pitmonticone
September 10, 2024 12:58 12m 3s master
master
September 10, 2024 12:58 12m 3s
Lemma 5.5.1, for real (#122) .github/workflows/push.yml #379: Commit f8193c5 pushed by fpvandoorn
September 10, 2024 12:58 11m 7s master
master
September 10, 2024 12:58 11m 7s