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

fix: Fix bug in Slice.size, prove size d <= d CI #141: Commit 81f5c85 pushed by seanmcl
March 7, 2025 16:56 58s main
main
March 7, 2025 16:56 58s
fix: Fix bug in Slice.size, prove size d <= d CI #140: Pull request #49 opened by seanmcl
March 7, 2025 02:38 58s sm/size-proof
sm/size-proof
March 7, 2025 02:38 58s
chore: Make all arrays little-endian CI #139: Commit 9e794a9 pushed by seanmcl
March 5, 2025 21:33 1m 5s main
main
March 5, 2025 21:33 1m 5s
chore: Make all arrays little-endian CI #138: Pull request #48 opened by seanmcl
March 4, 2025 17:27 49s sm/04-remove-order
sm/04-remove-order
March 4, 2025 17:27 49s
feat: astype CI #137: Commit 8c131d0 pushed by seanmcl
March 4, 2025 17:26 57s main
main
March 4, 2025 17:26 57s
chore: noop tidying CI #136: Commit 46fad4e pushed by seanmcl
March 4, 2025 17:26 52s main
main
March 4, 2025 17:26 52s
chore: noop tidying CI #135: Pull request #47 synchronize by seanmcl
March 3, 2025 23:21 46s sm/00-noop
sm/00-noop
March 3, 2025 23:21 46s
chore: noop tidying CI #134: Pull request #47 synchronize by seanmcl
March 3, 2025 23:16 46s sm/00-noop
sm/00-noop
March 3, 2025 23:16 46s
feat: astype CI #133: Pull request #46 synchronize by seanmcl
March 3, 2025 23:13 52s sm/03-astype
sm/03-astype
March 3, 2025 23:13 52s
chore: noop tidying CI #132: Pull request #47 opened by seanmcl
March 3, 2025 23:13 51s sm/00-noop
sm/00-noop
March 3, 2025 23:13 51s
feat: astype CI #131: Pull request #46 opened by seanmcl
March 3, 2025 21:49 53s sm/03-astype
sm/03-astype
March 3, 2025 21:49 53s
feat: support Float32 CI #130: Commit e9d7dd0 pushed by seanmcl
March 1, 2025 19:29 49s main
main
March 1, 2025 19:29 49s
feat: support Float32 CI #129: Pull request #45 opened by seanmcl
February 28, 2025 19:55 51s sm/01-float32
sm/01-float32
February 28, 2025 19:55 51s
chore: Remove float16 CI #128: Commit 84a43d1 pushed by seanmcl
February 27, 2025 21:31 45s main
main
February 27, 2025 21:31 45s
chore: Remove float16 CI #127: Pull request #44 opened by seanmcl
February 27, 2025 21:03 47s sm/float32
sm/float32
February 27, 2025 21:03 47s
chore: Use Lean 4.16 CI #126: Commit e1a1f2f pushed by seanmcl
February 27, 2025 20:13 3m 4s main
main
February 27, 2025 20:13 3m 4s
chore: Use Lean 4.16 CI #125: Pull request #43 opened by seanmcl
February 27, 2025 20:09 2m 56s sm/lean416
sm/lean416
February 27, 2025 20:09 2m 56s
chore: fix build, address comment from previous PR CI #124: Commit b9ee965 pushed by seanmcl
February 26, 2025 23:06 43s main
main
February 26, 2025 23:06 43s
chore: fix build, address comment from previous PR CI #123: Pull request #42 opened by seanmcl
February 26, 2025 22:40 45s sm/00-cleanup
sm/00-cleanup
February 26, 2025 22:40 45s
chore: Remove Element type class. Use Dtype instead. CI #122: Commit ef0fca5 pushed by seanmcl
February 26, 2025 22:18 39s main
main
February 26, 2025 22:18 39s
chore: Add Dtype bits and arithmetic logic CI #121: Pull request #39 synchronize by seanmcl
February 26, 2025 01:10 26s sm/00-dtype-extension
sm/00-dtype-extension
February 26, 2025 01:10 26s
chore: Little Npy improvements CI #120: Commit e918294 pushed by seanmcl
February 26, 2025 01:05 55s main
main
February 26, 2025 01:05 55s
chore: Add Dtype bits and arithmetic logic CI #119: Pull request #39 synchronize by seanmcl
February 26, 2025 01:04 36s sm/00-dtype-extension
sm/00-dtype-extension
February 26, 2025 01:04 36s
chore: Add Dtype bits and arithmetic logic CI #118: Pull request #39 opened by seanmcl
February 25, 2025 20:18 55s sm/00-dtype-extension
sm/00-dtype-extension
February 25, 2025 20:18 55s
feat: matmul CI #117: Commit 831b593 pushed by seanmcl
February 24, 2025 18:10 50s main
main
February 24, 2025 18:10 50s