Skip to content

Actions: YaelDillies/LeanAPAP

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
244 workflow runs
244 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Copy over workflow changes from LeanCamCombi Build Lean project #295: Commit aa22b06 pushed by YaelDillies
January 9, 2025 13:30 1m 1s master
master
January 9, 2025 13:30 1m 1s
Marcinkiewicz-Zygmund for arbitrary random variables Build Lean project #294: Commit 95f4e12 pushed by YaelDillies
December 30, 2024 16:25 10m 27s master
master
December 30, 2024 16:25 10m 27s
Bump mathlib Build Lean project #293: Commit 96de77c pushed by YaelDillies
December 29, 2024 17:39 27m 35s master
master
December 29, 2024 17:39 27m 35s
Bump mathlib Build Lean project #292: Commit 218a0d9 pushed by YaelDillies
November 29, 2024 12:15 26m 18s master
master
November 29, 2024 12:15 26m 18s
Bump mathlib Build Lean project #291: Commit 0db79d9 pushed by YaelDillies
November 26, 2024 13:58 26m 23s master
master
November 26, 2024 13:58 26m 23s
Bump mathlib Build Lean project #290: Commit 4811a5b pushed by YaelDillies
November 24, 2024 08:33 25m 33s master
master
November 24, 2024 08:33 25m 33s
Scope the μ notation Build Lean project #289: Commit b66e535 pushed by YaelDillies
November 20, 2024 17:55 11m 33s master
master
November 20, 2024 17:55 11m 33s
Bump mathlib Build Lean project #288: Commit 38acee8 pushed by YaelDillies
November 20, 2024 17:34 26m 2s master
master
November 20, 2024 17:34 26m 2s
Bump mathlib Build Lean project #287: Commit 9c77372 pushed by YaelDillies
November 17, 2024 08:28 22m 49s master
master
November 17, 2024 08:28 22m 49s
Use bound Build Lean project #286: Commit a59ff39 pushed by YaelDillies
November 16, 2024 21:10 11m 24s master
master
November 16, 2024 21:10 11m 24s
Get rid of dilate for now Build Lean project #285: Commit c40edb3 pushed by YaelDillies
November 16, 2024 20:29 11m 27s master
master
November 16, 2024 20:29 11m 27s
Fill in API sorries for eLpNorm Build Lean project #284: Commit 9cd36cd pushed by YaelDillies
November 15, 2024 16:15 10m 41s master
master
November 15, 2024 16:15 10m 41s
Bump mathlib Build Lean project #283: Commit 7765a06 pushed by YaelDillies
November 15, 2024 14:43 26m 51s master
master
November 15, 2024 14:43 26m 51s
Bump mathlib Build Lean project #282: Commit b811473 pushed by YaelDillies
November 12, 2024 15:39 1h 9m 50s master
master
November 12, 2024 15:39 1h 9m 50s
Bump mathlib Build Lean project #281: Commit e182bad pushed by YaelDillies
November 11, 2024 22:39 24m 53s master
master
November 11, 2024 22:39 24m 53s
Bump mathlib Build Lean project #280: Commit cb34568 pushed by YaelDillies
November 9, 2024 21:06 24m 40s master
master
November 9, 2024 21:06 24m 40s
Bump mathlib Build Lean project #279: Commit 99887a3 pushed by YaelDillies
November 9, 2024 09:46 25m 34s master
master
November 9, 2024 09:46 25m 34s
Bump mathlib Build Lean project #278: Commit 5c16c6a pushed by YaelDillies
November 4, 2024 10:53 25m 56s master
master
November 4, 2024 10:53 25m 56s
Bump mathlib Build Lean project #277: Commit 7d93b31 pushed by YaelDillies
November 2, 2024 09:32 24m 40s master
master
November 2, 2024 09:32 24m 40s
Bump mathlib Build Lean project #276: Commit 5c36638 pushed by YaelDillies
October 29, 2024 09:44 27m 1s master
master
October 29, 2024 09:44 27m 1s
Bump mathlib Build Lean project #275: Commit 2bae5e3 pushed by YaelDillies
October 28, 2024 11:48 27m 9s master
master
October 28, 2024 11:48 27m 9s
Bump mathlib Build Lean project #274: Commit e1ce4ec pushed by YaelDillies
October 27, 2024 18:45 26m 46s master
master
October 27, 2024 18:45 26m 46s
Bump mathlib Build Lean project #273: Commit ece13c9 pushed by YaelDillies
October 19, 2024 11:19 26m 51s master
master
October 19, 2024 11:19 26m 51s
Bump mathlib Build Lean project #272: Commit 1f236c6 pushed by YaelDillies
October 17, 2024 16:07 27m 8s master
master
October 17, 2024 16:07 27m 8s
Bump Ruby dependencies Build Lean project #271: Commit 32ec426 pushed by YaelDillies
October 17, 2024 12:28 25m 5s master
master
October 17, 2024 12:28 25m 5s