Skip to content

Actions: leanprover/TensorLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Main CLI for quick experiments CI #99: Commit 3e2cd3f pushed by seanmcl
January 24, 2025 19:42 49s main
main
January 24, 2025 19:42 49s
Add a CLI and some light testing CI #98: Pull request #24 synchronize by seanmcl
January 24, 2025 18:50 42s sm/10-main
sm/10-main
January 24, 2025 18:50 42s
Add Plausible CI #97: Commit 50b0c4e pushed by seanmcl
January 22, 2025 18:34 2m 44s main
main
January 22, 2025 18:34 2m 44s
Universal functions CI #96: Commit a30d840 pushed by seanmcl
January 22, 2025 18:34 34s main
main
January 22, 2025 18:34 34s
Add Plausible CI #95: Pull request #30 synchronize by seanmcl
January 22, 2025 01:03 2m 40s sm/plausible
sm/plausible
January 22, 2025 01:03 2m 40s
Add Plausible CI #94: Pull request #30 opened by seanmcl
January 22, 2025 01:00 2m 55s sm/plausible
sm/plausible
January 22, 2025 01:00 2m 55s
Universal functions CI #93: Pull request #29 synchronize by seanmcl
January 21, 2025 23:13 40s sm/09-ufunc
sm/09-ufunc
January 21, 2025 23:13 40s
Universal functions CI #92: Pull request #29 opened by seanmcl
January 21, 2025 18:24 33s sm/09-ufunc
sm/09-ufunc
January 21, 2025 18:24 33s
Mgrid CI #91: Commit c5fa4dd pushed by seanmcl
January 21, 2025 18:16 2m 45s main
main
January 21, 2025 18:16 2m 45s
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