Skip to content

Actions: leanprover/TensorLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Broadcasting CI #66: Commit 731e131 pushed by seanmcl
January 3, 2025 23:32 2m 34s main
main
January 3, 2025 23:32 2m 34s
Broadcasting CI #65: Pull request #18 synchronize by seanmcl
January 3, 2025 23:29 2m 23s sm/04-broadcast
sm/04-broadcast
January 3, 2025 23:29 2m 23s
Npy file support CI #64: Commit e997936 pushed by seanmcl
January 3, 2025 23:13 31s main
main
January 3, 2025 23:13 31s
Npy file support CI #63: Pull request #17 synchronize by seanmcl
January 3, 2025 23:12 25s sm/03-npy
sm/03-npy
January 3, 2025 23:12 25s
Npy file support CI #62: Pull request #17 synchronize by seanmcl
January 3, 2025 23:09 33s sm/03-npy
sm/03-npy
January 3, 2025 23:09 33s
Add Dtype.lean CI #61: Commit 8be0e0d pushed by seanmcl
January 3, 2025 23:00 26s main
main
January 3, 2025 23:00 26s
Add Dtype.lean CI #60: Pull request #16 synchronize by seanmcl
January 3, 2025 23:00 30s sm/02-dtype
sm/02-dtype
January 3, 2025 23:00 30s
Add Common.lean CI #59: Commit de0ae62 pushed by seanmcl
January 3, 2025 22:59 35s main
main
January 3, 2025 22:59 35s
Add Common.lean CI #58: Pull request #15 synchronize by seanmcl
January 3, 2025 22:53 33s sm/01-common
sm/01-common
January 3, 2025 22:53 33s
Add Common.lean CI #57: Pull request #15 synchronize by seanmcl
January 3, 2025 01:53 44s sm/01-common
sm/01-common
January 3, 2025 01:53 44s
Add Common.lean CI #56: Pull request #15 synchronize by seanmcl
January 2, 2025 19:03 24m 13s sm/01-common
sm/01-common
January 2, 2025 19:03 24m 13s
Add Common.lean CI #55: Pull request #15 opened by seanmcl
January 2, 2025 18:23 33s sm/01-common
sm/01-common
January 2, 2025 18:23 33s
Remove everything CI #54: Commit 142bb8e pushed by seanmcl
December 31, 2024 20:14 2m 34s main
main
December 31, 2024 20:14 2m 34s
Remove everything CI #53: Pull request #14 opened by seanmcl
December 31, 2024 18:34 2m 11s sm/delete
sm/delete
December 31, 2024 18:34 2m 11s
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