8000 Build Lean project · Workflow runs · teorth/pfr · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: teorth/pfr

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib to v4.20.1 Build Lean project #729: Commit c750735 pushed by YaelDillies
June 6, 2025 10:11 35m 54s master
master
June 6, 2025 10:11 35m 54s
Don't cache own docs Build Lean project #728: Commit 87978a6 pushed by YaelDillies
June 6, 2025 09:01 34m 44s master
master
June 6, 2025 09:01 34m 44s
Fix the upstreaming dashboard Build Lean project #727: Commit 49109e1 pushed by YaelDillies
May 31, 2025 17:24 15m 28s master
master
May 31, 2025 17:24 15m 28s
Merge pull request #245 from user202729/fix-website Build Lean project #726: Commit c44f3f3 pushed by teorth
May 31, 2025 15:28 16m 26s master
master
May 31, 2025 15:28 16m 26s
switched from measurability to fun_prop Build Lean project #725: Commit 0d9c5da pushed by teorth
May 27, 2025 17:40 17m 11s master
master
May 27, 2025 17:40 17m 11s
fix application of iprodMk Build Lean project #724: Commit 4161dbc pushed by teorth
May 27, 2025 14:51 16m 51s master
master
May 27, 2025 14:51 16m 51s
leanok Build Lean project #723: Commit 5223844 pushed by teorth
May 27, 2025 07:11 6m 30s master
master
May 27, 2025 07:11 6m 30s
Done! Build Lean project #722: Commit 49f6449 pushed by teorth
May 27, 2025 07:11 6m 20s master
master
May 27, 2025 07:11 6m 20s
fix invocation of multidist_ruzsa_III Build Lean project #721: Commit 018c619 pushed by teorth
May 26, 2025 22:07 16m 42s master
master
May 26, 2025 22:07 16m 42s
finished multidist-ruzsa-III Build Lean project #720: Commit 4c0c6b5 pushed by teorth
May 26, 2025 21:29 6m 43s master
master
May 26, 2025 21:29 6m 43s
Implemented Aaron's golf of pairwise disjointness Build Lean project #719: Commit 5020783 pushed by teorth
May 25, 2025 22:47 16m 59s master
master
May 25, 2025 22:47 16m 59s
Finish multidist_ruzsa_II Build Lean project #718: Commit 6f3eb43 pushed by teorth
May 25, 2025 22:42 16m 8s master
master
May 25, 2025 22:42 16m 8s
finished multidist I! Build Lean project #717: Commit d14718b pushed by teorth
May 25, 2025 20:55 36m 52s master
master
May 25, 2025 20:55 36m 52s
Merge branch 'master' of https://github.com/teorth/pfr Build Lean project #716: Commit edb386d pushed by teorth
May 3, 2025 00:38 16m 52s master
master
May 3, 2025 00:38 16m 52s
Bump mathlib to v4.19.0 Build Lean project #715: Commit 859f6b2 pushed by YaelDillies
May 2, 2025 22:28 36m 33s master
master
May 2, 2025 22:28 36m 33s
Bump mathlib to v4.19.0 Build Lean project #714: Commit 4fb0fc6 pushed by YaelDillies
May 2, 2025 20:39 3m 2s master
master
May 2, 2025 20:39 3m 2s
List keywords in lakefile Build Lean project #713: Commit dfdb92f pushed by YaelDillies
May 2, 2025 20:29 16m 51s master
master
May 2, 2025 20:29 16m 51s
Workflow changes from Toric Build Lean project #712: Commit df8759a pushed by YaelDillies
May 2, 2025 20:28 16m 52s master
master
May 2, 2025 20:28 16m 52s
Golf scripts/build_docs.sh Build Lean project #711: Commit 98a50fa pushed by YaelDillies
May 2, 2025 20:26 16m 27s master
master
May 2, 2025 20:26 16m 27s
formalize a lemma, leanok Build Lean project #710: Commit feb366f pushed by teorth
May 2, 2025 07:15 16m 5s master
master
May 2, 2025 07:15 16m 5s
lean stubs Build Lean project #709: Commit 789cf3e pushed by teorth
May 2, 2025 06:22 35m 52s master
master
May 2, 2025 06:22 35m 52s
delete upstreamed lemmas (#243) Build Lean project #708: Commit c00ec49 pushed by YaelDillies
April 21, 2025 00:00 16m 25s master
master
April 21, 2025 00:00 16m 25s
Bump mathlib (#239) Build Lean project #707: Commit 26418ca pushed by YaelDillies
April 17, 2025 20:11 35m 47s master
master
April 17, 2025 20:11 35m 47s
Bump mathlib to v4.18.0 Build Lean project #706: Commit 0010cb5 pushed by YaelDillies
April 4, 2025 15:21 31m 0s master
master
April 4, 2025 15:21 31m 0s
Don't copy the README as the website's landing page Build Lean project #705: Commit b29244e pushed by YaelDillies
April 4, 2025 11:54 12m 50s master
master
April 4, 2025 11:54 12m 50s
1AD7
0