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

Fix 2013 a5 isabelle build lean #10: Pull request #175 opened by jxin31415
July 24, 2024 21:04 9m 30s jimmy
jimmy
July 24, 2024 21:04 9m 30s
Merge pull request #174 from trishullab/george build lean #9: Commit 807a2e5 pushed by GeorgeTsoukalas
July 24, 2024 16:12 10m 4s main
main
July 24, 2024 16:12 10m 4s
George build lean #8: Pull request #174 opened by GeorgeTsoukalas
July 24, 2024 16:10 9m 32s george
george
July 24, 2024 16:10 9m 32s
Fixed (lean) volume on 3D triangle. build lean #7: Commit 4b5b2f5 pushed by GeorgeTsoukalas
July 24, 2024 16:10 9m 53s george
george
July 24, 2024 16:10 9m 53s
Merge pull request #173 from eric-wieser/patch-1 build lean #6: Commit 02ae505 pushed by amit9oct
July 23, 2024 04:06 9m 56s main
main
July 23, 2024 04:06 9m 56s
Run lean CI in the right directory build lean #5: Pull request #173 synchronize by eric-wieser
July 23, 2024 00:01 9m 22s patch-1
patch-1
July 23, 2024 00:01 9m 22s
Run lean CI in the right directory build lean #4: Pull request #173 opened by eric-wieser
July 22, 2024 23:57 9m 29s patch-1
patch-1
July 22, 2024 23:57 9m 29s
2002 and 2003 isabelle and coq fixes (except 2003_b5 for coq) build lean #3: Pull request #167 synchronize by leejasper851
July 22, 2024 21:23 11s jasper
jasper
July 22, 2024 21:23 11s
Merge branch 'main' of https://github.com/trishullab/PutnamBench into… build lean #2: Commit 4081bce pushed by leejasper851
July 22, 2024 21:23 16s jasper
jasper
July 22, 2024 21:23 16s
Merge pull request #170 from eric-wieser/add-lean-ci build lean #1: Commit 20526e6 pushed by GeorgeTsoukalas
July 22, 2024 19:25 17s main
main
July 22, 2024 19:25 17s
ProTip! You can narrow down the results and go further in time using created:<2024-07-22 or the other filters available.