Lean Action CI · Workflow runs · ryanncode/tensor-sieve · GitHub

Actions

All workflows
Workflows
- Create Release Create Release
- Lean Action CI Lean Action CI
- Update Dependencies Update Dependencies
Management
- Caches

Lean Action CI

Actions

Loading...
Loading

lean_action_ci.yml

4 workflow runs

4 workflow runs

feat(kinematics): implement Laplacian and FTNILO tensor contractions Lean Action CI #4: Commit 0512173 pushed by ryanncode

15m 13s main

main

15m 13s

implement foundational Kinematic Sieve Operator and the halting mecha… Lean Action CI #3: Commit 2d12798 pushed by ryanncode

14m 32s main

main

14m 32s

update readme Lean Action CI #2: Commit 8df56fc pushed by ryanncode

13m 50s main

main

13m 50s

setup Lean project Lean Action CI #1: Commit 153787c pushed by ryanncode

15m 27s main

main

15m 27s