Skip to content

Actions: leanprover/TensorLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mgrid CI #90: Pull request #22 synchronize by seanmcl
January 9, 2025 20:56 37s sm/08-mgrid
sm/08-mgrid
January 9, 2025 20:56 37s
Mgrid CI #89: Pull request #22 synchronize by seanmcl
January 9, 2025 20:55 44s sm/08-mgrid
sm/08-mgrid
January 9, 2025 20:55 44s
Mgrid CI #88: Pull request #22 synchronize by seanmcl
January 9, 2025 20:54 42s sm/08-mgrid
sm/08-mgrid
January 9, 2025 20:54 42s
Trivial cleanups CI #87: Commit da42f1e pushed by seanmcl
January 9, 2025 20:50 40s main
main
January 9, 2025 20:50 40s
Bit hacking CI #86: Commit bb98e40 pushed by seanmcl
January 9, 2025 20:48 50s main
main
January 9, 2025 20:48 50s
Trivial cleanups CI #85: Pull request #28 opened by seanmcl
January 9, 2025 20:44 49s sm/01-cleanup
sm/01-cleanup
January 9, 2025 20:44 49s
Bit hacking CI #84: Pull request #27 opened by seanmcl
January 9, 2025 20:40 52s sm/00-bits
sm/00-bits
January 9, 2025 20:40 52s
Mgrid CI #83: Pull request #22 synchronize by seanmcl
January 8, 2025 17:46 41s sm/08-mgrid
sm/08-mgrid
January 8, 2025 17:46 41s
Mgrid CI #82: Pull request #22 synchronize by seanmcl
January 8, 2025 17:45 41s sm/08-mgrid
sm/08-mgrid
January 8, 2025 17:45 41s
Update to Lean 4.15.0 CI #81: Commit 62c7e77 pushed by seanmcl
January 8, 2025 17:42 2m 37s main
main
January 8, 2025 17:42 2m 37s
Update to Lean 4.15.0 CI #80: Pull request #26 synchronize by seanmcl
January 8, 2025 17:38 2m 37s sm/12-lean-4.15.0
sm/12-lean-4.15.0
January 8, 2025 17:38 2m 37s
Advanced indexing CI #79: Commit 575bf43 pushed by seanmcl
January 8, 2025 17:35 41s main
main
January 8, 2025 17:35 41s
Advanced indexing CI #78: Pull request #25 synchronize by seanmcl
January 8, 2025 17:34 42s sm/11-advanced-indexing
sm/11-advanced-indexing
January 8, 2025 17:34 42s
Mgrid CI #77: Pull request #22 synchronize by seanmcl
January 7, 2025 18:08 2m 40s sm/08-mgrid
sm/08-mgrid
January 7, 2025 18:08 2m 40s
Advanced indexing CI #76: Pull request #25 opened by seanmcl
January 7, 2025 02:42 43s sm/11-advanced-indexing
sm/11-advanced-indexing
January 7, 2025 02:42 43s
Basic indexing CI #75: Commit 2f3e42c pushed by seanmcl
January 6, 2025 22:49 34s main
main
January 6, 2025 22:49 34s
Basic indexing CI #74: Pull request #21 synchronize by seanmcl
January 6, 2025 22:48 48s sm/07-index
sm/07-index
January 6, 2025 22:48 48s
Basic indexing CI #73: Pull request #21 synchronize by seanmcl
January 6, 2025 21:55 29s sm/07-index
sm/07-index
January 6, 2025 21:55 29s
Add Tensor type CI #72: Commit 5b914b5 pushed by seanmcl
January 4, 2025 00:25 45s main
main
January 4, 2025 00:25 45s
Add Tensor type CI #71: Pull request #20 synchronize by seanmcl
January 4, 2025 00:24 43s sm/06-tensor
sm/06-tensor
January 4, 2025 00:24 43s
Add Tensor type CI #70: Pull request #20 synchronize by seanmcl
January 4, 2025 00:18 40s sm/06-tensor
sm/06-tensor
January 4, 2025 00:18 40s
Slicing CI #69: Commit 1a5aa13 pushed by seanmcl
January 4, 2025 00:07 37s main
main
January 4, 2025 00:07 37s
Slicing CI #68: Pull request #19 synchronize by seanmcl
January 3, 2025 23:46 37s sm/05-slice
sm/05-slice
January 3, 2025 23:46 37s
Slicing CI #67: Pull request #19 synchronize by seanmcl
January 3, 2025 23:33 2m 31s sm/05-slice
sm/05-slice
January 3, 2025 23:33 2m 31s
Broadcasting CI #66: Commit 731e131 pushed by seanmcl
January 3, 2025 23:32 2m 34s main
main
January 3, 2025 23:32 2m 34s