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 a few minor Lean misformalisations build lean #112: Pull request #208 synchronize by ocfnash
August 30, 2024 13:21 19m 47s ocfnash:main
ocfnash:main
August 30, 2024 13:21 19m 47s
Fix a few minor Lean misformalisations build lean #111: Pull request #208 synchronize by ocfnash
August 30, 2024 13:20 20m 30s ocfnash:main
ocfnash:main
August 30, 2024 13:20 20m 30s
Fix a few minor Lean misformalisations build lean #110: Pull request #208 synchronize by ocfnash
August 30, 2024 11:49 20m 31s ocfnash:main
ocfnash:main
August 30, 2024 11:49 20m 31s
Fix a few minor Lean misformalisations build lean #109: Pull request #208 opened by ocfnash
August 29, 2024 15:20 20m 42s ocfnash:main
ocfnash:main
August 29, 2024 15:20 20m 42s
Merge pull request #206 from ocfnash/main build lean #108: Commit bb934cd pushed by GeorgeTsoukalas
August 28, 2024 15:27 20m 25s main
main
August 28, 2024 15:27 20m 25s
Included mathcomp-analysis and classical. build lean #107: Pull request #201 synchronize by GeorgeTsoukalas
August 28, 2024 15:16 20m 11s george
george
August 28, 2024 15:16 20m 11s
Notational improvements build lean #106: Commit 384df1d pushed by GeorgeTsoukalas
August 28, 2024 15:16 20m 11s george
george
August 28, 2024 15:16 20m 11s
Included mathcomp-analysis and classical. build lean #105: Pull request #201 synchronize by GeorgeTsoukalas
August 27, 2024 17:59 19m 40s george
george
August 27, 2024 17:59 19m 40s
Merge branch 'main' of https://github.com/trishullab/PutnamBench into… build lean #104: Commit 7933b9d pushed by GeorgeTsoukalas
August 27, 2024 17:59 19m 47s george
george
August 27, 2024 17:59 19m 47s
Removed unnecessary lines. build lean #103: Commit 3140c3f pushed by GeorgeTsoukalas
August 27, 2024 17:54 10m 52s george
george
August 27, 2024 17:54 10m 52s
Migrated to depend on MathComp. build lean #102: Commit 0d7d834 pushed by GeorgeTsoukalas
August 27, 2024 16:31 10m 55s george
george
August 27, 2024 16:31 10m 55s
Fix a few minor Lean misformalisations build lean #101: Pull request #206 synchronize by ocfnash
August 22, 2024 15:51 20m 20s ocfnash:main
ocfnash:main
August 22, 2024 15:51 20m 20s
Fix a few minor Lean misformalisations build lean #100: Pull request #206 synchronize by ocfnash
August 22, 2024 15:48 11m 8s ocfnash:main
ocfnash:main
August 22, 2024 15:48 11m 8s
Merge pull request #205 from trishullab/michael build lean #99: Commit 7cee690 pushed by leejasper851
August 22, 2024 14:50 19m 44s jasper
jasper
August 22, 2024 14:50 19m 44s
Fix a few minor Lean misformalisations build lean #98: Pull request #206 synchronize by ocfnash
August 22, 2024 14:45 10m 34s ocfnash:main
ocfnash:main
August 22, 2024 14:45 10m 34s
Merge pull request #205 from trishullab/michael build lean #97: Commit 7cee690 pushed by amit9oct
August 22, 2024 05:38 19m 34s main
main
August 22, 2024 05:38 19m 34s
Merge pull request #197 from trishullab/jasper build lean #96: Commit 7f33351 pushed by amit9oct
August 22, 2024 05:38 20m 1s main
main
August 22, 2024 05:38 20m 1s
Merge pull request #207 from eric-wieser/fix-solution-script build lean #95: Commit 98f2572 pushed by amit9oct
August 22, 2024 03:03 19m 38s main
main
August 22, 2024 03:03 19m 38s
lean: check the populated solutions in CI build lean #94: Pull request #207 synchronize by eric-wieser
August 21, 2024 21:07 19m 40s eric-wieser:fix-solution-script
eric-wieser:fix-solution-script
August 21, 2024 21:07 19m 40s
lean: check the populated solutions in CI build lean #93: Pull request #207 synchronize by eric-wieser
August 21, 2024 20:36 19m 31s eric-wieser:fix-solution-script
eric-wieser:fix-solution-script
August 21, 2024 20:36 19m 31s
lean: check the populated solutions in CI build lean #92: Pull request #207 synchronize by eric-wieser
August 21, 2024 19:26 20m 4s eric-wieser:fix-solution-script
eric-wieser:fix-solution-script
August 21, 2024 19:26 20m 4s
lean: check the populated solutions in CI build lean #91: Pull request #207 synchronize by eric-wieser
August 21, 2024 17:38 19m 51s eric-wieser:fix-solution-script
eric-wieser:fix-solution-script
August 21, 2024 17:38 19m 51s
lean: check the populated solutions in CI build lean #90: Pull request #207 synchronize by eric-wieser
August 21, 2024 16:56 20m 19s eric-wieser:fix-solution-script
eric-wieser:fix-solution-script
August 21, 2024 16:56 20m 19s
lean: check the populated solutions in CI build lean #89: Pull request #207 opened by eric-wieser
August 21, 2024 16:42 10m 35s eric-wieser:fix-solution-script
eric-wieser:fix-solution-script
August 21, 2024 16:42 10m 35s
Fix a few minor Lean misformalisations build lean #88: Pull request #206 opened by ocfnash
August 19, 2024 16:13 10m 28s ocfnash:main
ocfnash:main
August 19, 2024 16:13 10m 28s