Skip to content

Actions: trishullab/PutnamBench

Actions

build lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
310 workflow runs
310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #258 from trishullab/george build lean #314: Commit ba4070a pushed by GeorgeTsoukalas
January 20, 2025 20:09 22m 49s main
main
January 20, 2025 20:09 22m 49s
Add missing informal_solution fields build lean #313: Pull request #258 opened by GeorgeTsoukalas
January 19, 2025 18:11 23m 7s george
george
January 19, 2025 18:11 23m 7s
Add missing informal_solution fields. build lean #312: Commit 39351d3 pushed by GeorgeTsoukalas
January 19, 2025 18:10 22m 52s george
george
January 19, 2025 18:10 22m 52s
Merge pull request #252 from eric-wieser/bump-to-lean-v4.15.0 build lean #311: Commit 4510229 pushed by GeorgeTsoukalas
January 15, 2025 03:18 23m 27s main
main
January 15, 2025 03:18 23m 27s
Bump to lean v4.15.0 build lean #310: Pull request #252 synchronize by eric-wieser
January 13, 2025 11:51 23m 2s eric-wieser:bump-to-lean-v4.15.0
eric-wieser:bump-to-lean-v4.15.0
January 13, 2025 11:51 23m 2s
Merge pull request #245 from trishullab/george build lean #309: Commit 5a81e8a pushed by GeorgeTsoukalas
January 12, 2025 18:32 22m 15s main
main
January 12, 2025 18:32 22m 15s
Fix some formalizations, provide few Lean rewrites. build lean #308: Pull request #245 synchronize by GeorgeTsoukalas
January 11, 2025 05:09 22m 45s george
george
January 11, 2025 05:09 22m 45s
Update lean4/src/putnam_1989_b6.lean build lean #307: Commit 31ee48b pushed by GeorgeTsoukalas
January 11, 2025 05:09 21m 43s george
george
January 11, 2025 05:09 21m 43s
Fix some formalizations, provide few Lean rewrites. build lean #306: Pull request #245 synchronize by GeorgeTsoukalas
January 11, 2025 05:06 22m 36s george
george
January 11, 2025 05:06 22m 36s
Update lean4/src/putnam_1989_b6.lean build lean #305: Commit 37a5451 pushed by GeorgeTsoukalas
January 11, 2025 05:06 21m 27s george
george
January 11, 2025 05:06 21m 27s
Merge pull request #253 from eric-wieser/no-vector build lean #304: Commit a57dc33 pushed by GeorgeTsoukalas
January 11, 2025 04:21 22m 57s main
main
January 11, 2025 04:21 22m 57s
Merge pull request #256 from mo271/putnam_2022_a6 build lean #303: Commit 02a8703 pushed by GeorgeTsoukalas
January 11, 2025 04:20 22m 25s main
main
January 11, 2025 04:20 22m 25s
Merge pull request #251 from eric-wieser/bump-to-lean-v4.14.0 build lean #302: Commit 83d8626 pushed by GeorgeTsoukalas
January 10, 2025 23:39 24m 0s main
main
January 10, 2025 23:39 24m 0s
fix putnam_2022_a6 build lean #301: Pull request #256 opened by mo271
January 10, 2025 17:35 21m 30s mo271:putnam_2022_a6
mo271:putnam_2022_a6
January 10, 2025 17:35 21m 30s
Fix 2012 A4 build lean #300: Pull request #255 synchronize by ocfnash
January 10, 2025 16:44 21m 37s ocfnash:ocfnash/fix_2012_a4
ocfnash:ocfnash/fix_2012_a4
January 10, 2025 16:44 21m 37s
Fix 2012 A4 build lean #299: Pull request #255 opened by ocfnash
January 10, 2025 16:43 22m 20s ocfnash:ocfnash/fix_2012_a4
ocfnash:ocfnash/fix_2012_a4
January 10, 2025 16:43 22m 20s
Fix Lean versions of 2023 A2 and 2023 B1 build lean #298: Pull request #254 opened by ocfnash
January 6, 2025 14:00 22m 20s ocfnash:main
ocfnash:main
January 6, 2025 14:00 22m 20s
Avoid using Mathlib.Vector build lean #297: Pull request #253 opened by eric-wieser
January 5, 2025 22:41 21m 21s eric-wieser:no-vector
eric-wieser:no-vector
January 5, 2025 22:41 21m 21s
Bump to lean v4.15.0 build lean #296: Pull request #252 synchronize by eric-wieser
January 5, 2025 22:34 23m 35s eric-wieser:bump-to-lean-v4.15.0
eric-wieser:bump-to-lean-v4.15.0
January 5, 2025 22:34 23m 35s
Bump to lean v4.15.0 build lean #295: Pull request #252 opened by eric-wieser
January 5, 2025 21:39 12m 6s eric-wieser:bump-to-lean-v4.15.0
eric-wieser:bump-to-lean-v4.15.0
January 5, 2025 21:39 12m 6s
Update to Lean v4.14.0 build lean #294: Pull request #251 opened by eric-wieser
January 3, 2025 23:21 23m 0s eric-wieser:bump-to-lean-v4.14.0
eric-wieser:bump-to-lean-v4.14.0
January 3, 2025 23:21 23m 0s
Merge pull request #250 from eric-wieser/update-to-4.13.0 build lean #293: Commit 3f10461 pushed by GeorgeTsoukalas
January 3, 2025 22:26 21m 47s main
main
January 3, 2025 22:26 21m 47s
Bump to Lean 4.13.0 build lean #292: Pull request #250 opened by eric-wieser
January 3, 2025 20:03 21m 52s eric-wieser:update-to-4.13.0
eric-wieser:update-to-4.13.0
January 3, 2025 20:03 21m 52s
Bump Lean to version 4.14.0 build lean #291: Pull request #249 synchronize by GeorgeTsoukalas
January 3, 2025 15:59 12m 50s usr/GeorgeTsoukalas/BumpLean
usr/GeorgeTsoukalas/BumpLean
January 3, 2025 15:59 12m 50s
Bump to Lean v4.14.0. build lean #290: Commit 9e011a4 pushed by GeorgeTsoukalas
January 3, 2025 15:59 12m 51s usr/GeorgeTsoukalas/BumpLean
usr/GeorgeTsoukalas/BumpLean
January 3, 2025 15:59 12m 51s