Skip to content

Actions: leanprover/TensorLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor parsing/saving code to new file CI #52: Commit e51aae4 pushed by seanmcl
December 2, 2024 21:20 11m 25s main
main
December 2, 2024 21:20 11m 25s
Fix pytest failure CI #51: Commit 7e18be7 pushed by seanmcl
December 2, 2024 21:19 11m 35s main
main
December 2, 2024 21:19 11m 35s
Fix pytest failure CI #50: Pull request #12 synchronize by seanmcl
December 2, 2024 21:09 2m 37s sm/fix
sm/fix
December 2, 2024 21:09 2m 37s
Fix pytest failure CI #49: Pull request #12 synchronize by seanmcl
December 2, 2024 20:45 11m 20s sm/fix
sm/fix
December 2, 2024 20:45 11m 20s
Fix pytest failure CI #48: Pull request #12 opened by seanmcl
December 2, 2024 20:44 11m 28s sm/fix
sm/fix
December 2, 2024 20:44 11m 28s
CI CI #47: Manually run by seanmcl
December 2, 2024 18:41 11m 55s sm/fix
sm/fix
December 2, 2024 18:41 11m 55s
Add raw indexing CI #46: Commit e2162f8 pushed by seanmcl
December 2, 2024 18:10 10m 50s main
main
December 2, 2024 18:10 10m 50s
Allow empty shapes CI #45: Commit 3952ced pushed by seanmcl
November 22, 2024 18:56 2m 29s main
main
November 22, 2024 18:56 2m 29s
Allow empty shapes CI #44: Pull request #10 synchronize by seanmcl
November 22, 2024 18:31 2m 21s sm/4-empty-shape
sm/4-empty-shape
November 22, 2024 18:31 2m 21s
Allow empty shapes CI #43: Pull request #10 opened by seanmcl
November 20, 2024 23:01 2m 6s sm/4-empty-shape
sm/4-empty-shape
November 20, 2024 23:01 2m 6s
Replace list with array operations CI #42: Commit 437a217 pushed by seanmcl
November 20, 2024 20:26 2m 34s main
main
November 20, 2024 20:26 2m 34s
Add roundtrip fuzz tests CI #41: Commit 411f1ce pushed by seanmcl
November 15, 2024 19:43 2m 0s main
main
November 15, 2024 19:43 2m 0s
Add roundtrip fuzz tests CI #40: Pull request #9 synchronize by seanmcl
November 15, 2024 01:09 2m 28s sm/2-test
sm/2-test
November 15, 2024 01:09 2m 28s
Add roundtrip fuzz tests CI #39: Commit 7312285 pushed by seanmcl
November 15, 2024 01:08 Failure sm/2-test
sm/2-test
November 15, 2024 01:08 Failure
Add roundtrip fuzz tests CI #38: Pull request #9 synchronize by seanmcl
November 15, 2024 00:58 1m 48s sm/2-test
sm/2-test
November 15, 2024 00:58 1m 48s
Add roundtrip fuzz tests CI #37: Pull request #9 opened by seanmcl
November 15, 2024 00:57 2m 10s sm/2-test
sm/2-test
November 15, 2024 00:57 2m 10s
Replace list with array operations CI #36: Pull request #8 opened by seanmcl
November 15, 2024 00:47 1m 5s sm/1-save
sm/1-save
November 15, 2024 00:47 1m 5s
Add writing numpy tensors back to disk CI #35: Commit a5c409f pushed by seanmcl
November 15, 2024 00:43 1m 54s main
main
November 15, 2024 00:43 1m 54s
Turn on CI for all pull requests CI #34: Commit 7b99138 pushed by seanmcl
November 15, 2024 00:27 1m 47s main
main
November 15, 2024 00:27 1m 47s
Turn on CI for all pull requests CI #33: Pull request #7 opened by seanmcl
November 14, 2024 19:52 1m 42s sm/0-ci
sm/0-ci
November 14, 2024 19:52 1m 42s
Add writing numpy tensors back to disk CI #32: Pull request #5 synchronize by seanmcl
November 14, 2024 00:22 1m 43s sm/save
sm/save
November 14, 2024 00:22 1m 43s
Add writing numpy tensors back to disk CI #31: Pull request #5 reopened by seanmcl
November 14, 2024 00:19 1m 2s sm/save
sm/save
November 14, 2024 00:19 1m 2s
Add writing numpy tensors back to disk CI #30: Pull request #5 opened by seanmcl
November 14, 2024 00:03 1m 53s sm/save
sm/save
November 14, 2024 00:03 1m 53s
Add broadcasting and strides CI #29: Commit 6e07a38 pushed by seanmcl
November 13, 2024 20:23 11m 5s main
main
November 13, 2024 20:23 11m 5s
Add broadcasting CI #28: Pull request #4 synchronize by seanmcl
November 11, 2024 21:29 1m 48s sm/broadcast
sm/broadcast
November 11, 2024 21:29 1m 48s