8000 Workflow runs · leanprover/TensorLib · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: leanprover/TensorLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Refactor Common.lean, II CI #192: Commit ebb68bf pushed by seanmcl
May 1, 2025 22:05 59s main
main
May 1, 2025 22:05 59s
chore: Refactor Common.lean, II CI #191: Pull request #69 synchronize by seanmcl
May 1, 2025 22:03 59s sm/util-01
sm/util-01
May 1, 2025 22:03 59s
chore: Refactor Common.lean, II CI #190: Pull request #69 opened by seanmcl
May 1, 2025 21:00 58s sm/util-01
sm/util-01
May 1, 2025 21:00 58s
chore: Refactor Common.lean I CI #189: Commit 486b50d pushed by seanmcl
May 1, 2025 19:52 56s main
main
May 1, 2025 19:52 56s
chore: Refactor Common.lean I CI #188: Pull request #68 synchronize by seanmcl
May 1, 2025 19:51 51s sm/util-00
sm/util-00
May 1, 2025 19:51 51s
chore: Refactor Common.lean I CI #187: Pull request #68 opened by seanmcl
May 1, 2025 18:35 1m 4s sm/util-00
sm/util-00
May 1, 2025 18:35 1m 4s
feat: add np.full CI #186: Commit 340a746 pushed by seanmcl
May 1, 2025 16:45 3m 58s main
main
May 1, 2025 16:45 3m 58s
Add BEq to Tensor CI #185: Pull request #67 opened by aqjune-aws
May 1, 2025 05:20 52s aqjune-aws:beq
aqjune-aws:beq
May 1, 2025 05:20 52s
feat: add np.full CI #184: Pull request #66 opened by seanmcl
April 3, 2025 19:52 55s sm/full
sm/full
April 3, 2025 19:52 55s
feat: show import graph CI #183: Commit bde71b9 pushed by seanmcl
April 3, 2025 19:24 3m 48s main
main
April 3, 2025 19:24 3m 48s
feat: show import graph CI #182: Pull request #65 opened by seanmcl
April 3, 2025 19:20 3m 54s sm/import
sm/import
April 3, 2025 19:20 3m 54s
chore: update to Lean 4.18.0 CI #181: Commit 6e09abb pushed by seanmcl
April 2, 2025 16:10 3m 55s main
main
April 2, 2025 16:10 3m 55s
chore: update to Lean 4.18.0 CI #180: Pull request #64 opened by seanmcl
April 2, 2025 00:42 3m 57s sm/418
sm/418
April 2, 2025 00:42 3m 57s
feat: add bitwise ops CI #179: Commit 8708fbc pushed by seanmcl
April 1, 2025 23:14 1m 1s main
main
April 1, 2025 23:14 1m 1s
feat: add bitwise ops CI #178: Pull request #63 opened by seanmcl
April 1, 2025 19:33 58s sm/bit
sm/bit
April 1, 2025 19:33 58s
feat: add shift ops CI #177: Commit 085e454 pushed by seanmcl
April 1, 2025 19:31 59s main
main
April 1, 2025 19:31 59s
feat: add shift ops CI #176: Pull request #62 opened by seanmcl
April 1, 2025 00:19 57s sm/shift
sm/shift
April 1, 2025 00:19 57s
feat: add logical operators CI #175: Commit 6a7996e pushed by seanmcl
March 28, 2025 20:39 3m 45s main
main
March 28, 2025 20:39 3m 45s
feat: add logical operators CI #174: Pull request #61 synchronize by seanmcl
March 28, 2025 20:39 57s sm/logic
sm/logic
March 28, 2025 20:39 57s
feat: add logical operators CI #173: Pull request #61 opened by seanmcl
March 28, 2025 18:48 3m 50s sm/logic
sm/logic
March 28, 2025 18:48 3m 50s
feat: Add trig functions CI #172: Commit 751d1d9 pushed by seanmcl
March 27, 2025 20:18 1m 10s main
main
March 27, 2025 20:18 1m 10s
feat: Add trig functions CI #171: Pull request #60 synchronize by seanmcl
March 27, 2025 20:09 1m 1s sm/trig
sm/trig
March 27, 2025 20:09 1m 1s
feat: Add trig functions CI #170: Pull request #60 synchronize by seanmcl
March 27, 2025 19:30 43s sm/trig
sm/trig
March 27, 2025 19:30 43s
feat: Add trig functions CI #169: Pull request #60 synchronize by seanmcl
March 27, 2025 19:27 47s sm/trig
sm/trig
March 27, 2025 19:27 47s
feat: Add trig functions CI #168: Pull request #60 opened by seanmcl
March 27, 2025 18:43 30s sm/trig
sm/trig
March 27, 2025 18:43 30s
0