Skip to content

Actions: leanprover/TensorLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add broadcasting CI #27: Pull request #4 synchronize by seanmcl
November 11, 2024 20:25 1m 52s sm/broadcast
sm/broadcast
November 11, 2024 20:25 1m 52s
Add broadcasting CI #26: Pull request #4 synchronize by seanmcl
November 8, 2024 00:44 1m 52s sm/broadcast
sm/broadcast
November 8, 2024 00:44 1m 52s
Add broadcasting CI #25: Pull request #4 synchronize by seanmcl
November 7, 2024 23:37 1m 46s sm/broadcast
sm/broadcast
November 7, 2024 23:37 1m 46s
Add broadcasting CI #24: Pull request #4 synchronize by seanmcl
November 7, 2024 22:21 1m 43s sm/broadcast
sm/broadcast
November 7, 2024 22:21 1m 43s
Add broadcasting CI #23: Pull request #4 opened by seanmcl
November 7, 2024 22:17 2m 16s sm/broadcast
sm/broadcast
November 7, 2024 22:17 2m 16s
Merge pull request #3 from leanprover/sm/numpy CI #22: Commit f8c2be5 pushed by seanmcl
November 6, 2024 18:10 11m 47s main
main
November 6, 2024 18:10 11m 47s
Add a basic numpy type CI #21: Pull request #3 synchronize by seanmcl
November 5, 2024 17:56 1m 51s sm/numpy
sm/numpy
November 5, 2024 17:56 1m 51s
Add a basic numpy type CI #20: Pull request #3 synchronize by seanmcl
November 5, 2024 00:16 1m 42s sm/numpy
sm/numpy
November 5, 2024 00:16 1m 42s
Add a basic numpy type CI #19: Pull request #3 synchronize by seanmcl
November 5, 2024 00:14 11m 2s sm/numpy
sm/numpy
November 5, 2024 00:14 11m 2s
Add a basic numpy type CI #18: Pull request #3 synchronize by seanmcl
November 5, 2024 00:12 11m 3s sm/numpy
sm/numpy
November 5, 2024 00:12 11m 3s
Add a basic numpy type CI #17: Pull request #3 synchronize by seanmcl
November 5, 2024 00:07 11m 15s sm/numpy
sm/numpy
November 5, 2024 00:07 11m 15s