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 #193 from trishullab/george build lean #61: Commit eefea68 pushed by GeorgeTsoukalas
August 6, 2024 00:45 9m 39s main
main
August 6, 2024 00:45 9m 39s
Merge pull request #191 from trishullab/jimmy build lean #60: Commit 39d0377 pushed by GeorgeTsoukalas
August 5, 2024 13:39 9m 56s main
main
August 5, 2024 13:39 9m 56s
optParam and notational improvements. build lean #59: Pull request #193 synchronize by GeorgeTsoukalas
August 5, 2024 13:10 10m 19s george
george
August 5, 2024 13:10 10m 19s
Merge branch 'george' of https://github.com/trishullab/PutnamBench in… build lean #58: Commit a36551e pushed by GeorgeTsoukalas
August 5, 2024 13:10 9m 47s george
george
August 5, 2024 13:10 9m 47s
Coq revisions 1987-1990 build lean #57: Pull request #194 opened by JohnEdwardJennings
August 4, 2024 02:34 9m 49s john
john
August 4, 2024 02:34 9m 49s
Coq revisions 1987-1990 build lean #56: Commit cca47f7 pushed by JohnEdwardJennings
August 4, 2024 02:30 9m 14s john
john
August 4, 2024 02:30 9m 14s
Merge branch 'main' of https://github.com/trishullab/PutnamBench into… build lean #55: Commit 6333f39 pushed by leejasper851
August 3, 2024 21:13 9m 18s jasper
jasper
August 3, 2024 21:13 9m 18s
did putnam 1999 fixes for isabelle and coq build lean #54: Commit 61078b5 pushed by leejasper851
August 3, 2024 21:12 9m 54s jasper
jasper
August 3, 2024 21:12 9m 54s
optParam and notational improvements. build lean #53: Pull request #193 synchronize by GeorgeTsoukalas
August 3, 2024 16:04 9m 57s george
george
August 3, 2024 16:04 9m 57s
Merge branch 'main' into george build lean #52: Commit 16986d4 pushed by GeorgeTsoukalas
August 3, 2024 16:04 9m 46s george
george
August 3, 2024 16:04 9m 46s
Various notational improvements. build lean #51: Commit 75e315e pushed by GeorgeTsoukalas
August 3, 2024 16:01 9m 49s george
george
August 3, 2024 16:01 9m 49s
Caught some stragglers. build lean #50: Commit 3658d1d pushed by GeorgeTsoukalas
August 3, 2024 16:01 9m 41s george
george
August 3, 2024 16:01 9m 41s
Fix optParam issue. build lean #49: Commit 6ab737c pushed by GeorgeTsoukalas
August 3, 2024 15:30 9m 43s george
george
August 3, 2024 15:30 9m 43s
Merge pull request #189 from trishullab/jasper build lean #48: Commit abefccd pushed by GeorgeTsoukalas
August 3, 2024 13:38 9m 46s main
main
August 3, 2024 13:38 9m 46s
Jasper build lean #47: Pull request #189 synchronize by leejasper851
August 3, 2024 01:13 10m 17s jasper
jasper
August 3, 2024 01:13 10m 17s
changed 'powm' to 'tetration' in putnam 1997 b5 build lean #46: Commit 731fac8 pushed by leejasper851
August 3, 2024 01:13 9m 40s jasper
jasper
August 3, 2024 01:13 9m 40s
coq 1981-82 fixes build lean #45: Pull request #191 opened by jxin31415
August 2, 2024 20:41 9m 50s jimmy
jimmy
August 2, 2024 20:41 9m 50s
Merge pull request #188 from trishullab/george build lean #44: Commit 6d3dc7c pushed by GeorgeTsoukalas
August 2, 2024 13:21 9m 56s main
main
August 2, 2024 13:21 9m 56s
Jasper build lean #43: Pull request #189 opened by leejasper851
August 2, 2024 04:02 9m 44s jasper
jasper
August 2, 2024 04:02 9m 44s
fixed putnam 2019 b1 to not use Euclidean.dist build lean #42: Commit 406ed80 pushed by leejasper851
August 2, 2024 04:00 9m 47s jasper
jasper
August 2, 2024 04:00 9m 47s
did isabelle and coq fixes for putnam 1998 build lean #41: Commit 6dcbf1b pushed by leejasper851
August 2, 2024 03:36 10m 10s jasper
jasper
August 2, 2024 03:36 10m 10s
Fixed Euclidean dist issues w.t.t. Eric Wieser for his suggestion build lean #40: Pull request #188 opened by GeorgeTsoukalas
August 1, 2024 14:04 10m 1s george
george
August 1, 2024 14:04 10m 1s
Fixed Euclidean dist issues w.t.t. Eric Wieser for his suggestion build lean #39: Commit 14b744d pushed by GeorgeTsoukalas
August 1, 2024 14:03 10m 20s george
george
August 1, 2024 14:03 10m 20s
fixed extra 1997 thing build lean #38: Commit d7a22bb pushed by leejasper851
August 1, 2024 02:51 9m 40s jasper
jasper
August 1, 2024 02:51 9m 40s
did isabelle and coq fixes for Putnam 1997 build lean #37: Commit 4c2f0d6 pushed by leejasper851
August 1, 2024 02:01 9m 53s jasper
jasper
August 1, 2024 02:01 9m 53s
ProTip! You can narrow down the results and go further in time using created:<2024-08-01 or the other filters available.