Skip to content

Actions: trishullab/PutnamBench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix a few minor Lean misformalisations build lean #235: Pull request #229 synchronize by ocfnash
October 24, 2024 16:56 22m 18s ocfnash:main
ocfnash:main
October 24, 2024 16:56 22m 18s
Fix a few minor Lean misformalisations build lean #234: Pull request #229 synchronize by ocfnash
October 24, 2024 10:18 22m 26s ocfnash:main
ocfnash:main
October 24, 2024 10:18 22m 26s
Merge pull request #239 from eric-wieser/no-by build lean #233: Commit 64211ad pushed by GeorgeTsoukalas
October 23, 2024 19:10 21m 34s main
main
October 23, 2024 19:10 21m 34s
pages build and deployment pages-build-deployment #80: by GeorgeTsoukalas
October 23, 2024 19:10 36s
October 23, 2024 19:10 36s
Merge pull request #238 from ocfnash/more_fixes build lean #232: Commit b6f0e68 pushed by GeorgeTsoukalas
October 23, 2024 19:09 21m 57s main
main
October 23, 2024 19:09 21m 57s
pages build and deployment pages-build-deployment #79: by GeorgeTsoukalas
October 23, 2024 19:09 41s
October 23, 2024 19:09 41s
Fix a few minor Lean misformalisations build lean #231: Pull request #238 synchronize by ocfnash
October 23, 2024 15:03 22m 14s ocfnash:more_fixes
ocfnash:more_fixes
October 23, 2024 15:03 22m 14s
Standardize on := sorry not := by sorry build lean #230: Pull request #239 opened by eric-wieser
October 23, 2024 14:02 21m 28s eric-wieser:no-by
eric-wieser:no-by
October 23, 2024 14:02 21m 28s
Fix a few minor Lean misformalisations build lean #229: Pull request #238 synchronize by ocfnash
October 23, 2024 08:59 21m 54s ocfnash:more_fixes
ocfnash:more_fixes
October 23, 2024 08:59 21m 54s
Merge pull request #237 from eric-wieser/trailing-spaces build lean #228: Commit 0be019d pushed by GeorgeTsoukalas
October 22, 2024 20:42 21m 45s main
main
October 22, 2024 20:42 21m 45s
pages build and deployment pages-build-deployment #78: by GeorgeTsoukalas
October 22, 2024 20:42 36s
October 22, 2024 20:42 36s
Merge pull request #234 from eric-wieser/BigOperators build lean #227: Commit 4ca8080 pushed by GeorgeTsoukalas
October 22, 2024 20:39 21m 29s main
main
October 22, 2024 20:39 21m 29s
pages build and deployment pages-build-deployment #77: by GeorgeTsoukalas
October 22, 2024 20:39 36s
October 22, 2024 20:39 36s
Fix a few minor Lean misformalisations build lean #226: Pull request #238 opened by ocfnash
October 22, 2024 17:21 21m 31s ocfnash:more_fixes
ocfnash:more_fixes
October 22, 2024 17:21 21m 31s
Merge pull request #233 from eric-wieser/dotProduct build lean #225: Commit 380dfe6 pushed by GeorgeTsoukalas
October 22, 2024 16:43 22m 21s main
main
October 22, 2024 16:43 22m 21s
pages build and deployment pages-build-deployment #76: by GeorgeTsoukalas
October 22, 2024 16:43 41s
October 22, 2024 16:43 41s
Remove open BigOperators which does nothing build lean #224: Pull request #234 synchronize by eric-wieser
October 21, 2024 21:16 22m 38s eric-wieser:BigOperators
eric-wieser:BigOperators
October 21, 2024 21:16 22m 38s
Strip trailing spaces from informal descriptions build lean #223: Pull request #237 opened by eric-wieser
October 21, 2024 17:54 21m 13s eric-wieser:trailing-spaces
eric-wieser:trailing-spaces
October 21, 2024 17:54 21m 13s
Use ⟪x, y⟫_ℝ instead of Matrix.dotProduct build lean #222: Pull request #233 synchronize by eric-wieser
October 21, 2024 17:33 21m 35s eric-wieser:dotProduct
eric-wieser:dotProduct
October 21, 2024 17:33 21m 35s
Merge pull request #235 from trishullab/george build lean #221: Commit 06dc7cb pushed by GeorgeTsoukalas
October 21, 2024 16:58 22m 2s main
main
October 21, 2024 16:58 22m 2s
pages build and deployment pages-build-deployment #75: by GeorgeTsoukalas
October 21, 2024 16:58 54s
October 21, 2024 16:58 54s
Merge pull request #236 from eric-wieser/fix-autoParams build lean #220: Commit 2c3bb6a pushed by GeorgeTsoukalas
October 21, 2024 16:58 22m 42s main
main
October 21, 2024 16:58 22m 42s
pages build and deployment pages-build-deployment #74: by GeorgeTsoukalas
October 21, 2024 16:58 29s
October 21, 2024 16:58 29s
Fix uses of optParam build lean #219: Pull request #236 opened by eric-wieser
October 21, 2024 15:49 21m 49s eric-wieser:fix-autoParams
eric-wieser:fix-autoParams
October 21, 2024 15:49 21m 49s
Remove open BigOperators which does nothing build lean #218: Pull request #234 synchronize by eric-wieser
October 21, 2024 15:43 11m 35s eric-wieser:BigOperators
eric-wieser:BigOperators
October 21, 2024 15:43 11m 35s