Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
455 workflow runs
455 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
bump mathlib (#120) .github/workflows/push.yml #378: Commit d018767 pushed by pitmonticone
September 10, 2024 12:38 11m 28s master
master
September 10, 2024 12:38 11m 28s
refactor(RealInterpolation): golf (#119) .github/workflows/push.yml #377: Commit 75b3951 pushed by pitmonticone
September 9, 2024 21:45 11m 26s master
master
September 9, 2024 21:45 11m 26s
Cleanup and Section 7.2 (#118) .github/workflows/push.yml #376: Commit 01189dc pushed by fpvandoorn
September 9, 2024 20:23 11m 35s master
master
September 9, 2024 20:23 11m 35s
some cleanup (#117) .github/workflows/push.yml #375: Commit 2d168c9 pushed by fpvandoorn
September 9, 2024 19:21 11m 10s master
master
September 9, 2024 19:21 11m 10s
some renamings and continue chapter 7 (#104) .github/workflows/push.yml #374: Commit f086742 pushed by fpvandoorn
September 9, 2024 18:22 12m 17s master
master
September 9, 2024 18:22 12m 17s
Lemma 5.5.1 and 5.5.3 (#106) .github/workflows/push.yml #373: Commit 242595e pushed by fpvandoorn
September 9, 2024 17:53 11m 20s master
master
September 9, 2024 17:53 11m 20s