Skip to content

Actions: lfglabs-dev/lean-silicon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
509 workflow runs
509 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Formalize LSC-1u XOR retained-boundary refinement CI #477: Pull request #33 opened by Th0rgal
38m 29s research/lsc1u-retained-boundary
research/lsc1u-retained-boundary
38m 29s
formal: refine LSC-1u XOR retirement boundary gds #16: Commit 078627a pushed by Th0rgal
8m 3s research/lsc1u-retained-boundary
research/lsc1u-retained-boundary
8m 3s
formal: refine LSC-1u XOR retirement boundary CI #476: Commit 078627a pushed by Th0rgal
37m 22s research/lsc1u-retained-boundary
research/lsc1u-retained-boundary
37m 22s
formal: refine LSC-1u XOR retirement boundary Tiny Tapeout RTL test #16: Commit 078627a pushed by Th0rgal
25s research/lsc1u-retained-boundary
research/lsc1u-retained-boundary
25s
docs: point tapeout guide to LSC-1u top (#32) CI #475: Commit 31b1462 pushed by Th0rgal
33m 5s main
main
33m 5s
docs: point tapeout guide to LSC-1u top (#32) gds #15: Commit 31b1462 pushed by Th0rgal
7m 49s main
main
7m 49s
docs: point tapeout guide to LSC-1u top (#32) Tiny Tapeout RTL test #15: Commit 31b1462 pushed by Th0rgal
1m 13s main
main
1m 13s
docs: point tapeout guide to LSC-1u top CI #474: Pull request #32 opened by Th0rgal
41m 8s docs/fix-tapeout-lsc1u-top
docs/fix-tapeout-lsc1u-top
41m 8s
docs: point tapeout guide to LSC-1u top Tiny Tapeout RTL test #14: Commit d2c30e0 pushed by Th0rgal
25s docs/fix-tapeout-lsc1u-top
docs/fix-tapeout-lsc1u-top
25s
docs: point tapeout guide to LSC-1u top gds #14: Commit d2c30e0 pushed by Th0rgal
8m 48s docs/fix-tapeout-lsc1u-top
docs/fix-tapeout-lsc1u-top
8m 48s
docs: point tapeout guide to LSC-1u top CI #473: Commit d2c30e0 pushed by Th0rgal
36m 23s docs/fix-tapeout-lsc1u-top
docs/fix-tapeout-lsc1u-top
36m 23s
Add LSC-1 Tiny Tapeout ttsky26c integration lane (#31) Tiny Tapeout RTL test #13: Commit fd1189b pushed by Th0rgal
31s main
main
31s
Add LSC-1 Tiny Tapeout ttsky26c integration lane (#31) CI #472: Commit fd1189b pushed by Th0rgal
33m 13s main
main
33m 13s
Add LSC-1 Tiny Tapeout ttsky26c integration lane (#31) gds #13: Commit fd1189b pushed by Th0rgal
9m 15s main
main
9m 15s
Add LSC-1 Tiny Tapeout ttsky26c integration lane CI #471: Pull request #31 synchronize by Th0rgal
35m 11s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
35m 11s
formal: partition LSC-1u retained-boundary proofs Tiny Tapeout RTL test #12: Commit be3588b pushed by Th0rgal
21s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
21s
formal: partition LSC-1u retained-boundary proofs CI #470: Commit be3588b pushed by Th0rgal
33m 5s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
33m 5s
formal: partition LSC-1u retained-boundary proofs gds #12: Commit be3588b pushed by Th0rgal
8m 6s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
8m 6s
Add LSC-1 Tiny Tapeout ttsky26c integration lane CI #469: Pull request #31 synchronize by Th0rgal
6h 0m 26s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
6h 0m 26s
chore: refresh source checksums gds #11: Commit 07de8a4 pushed by Th0rgal
8m 48s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
8m 48s
chore: refresh source checksums Tiny Tapeout RTL test #11: Commit 07de8a4 pushed by Th0rgal
25s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
25s
chore: refresh source checksums CI #468: Commit 07de8a4 pushed by Th0rgal
6h 0m 19s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
6h 0m 19s
Add LSC-1 Tiny Tapeout ttsky26c integration lane CI #467: Pull request #31 synchronize by Th0rgal
6h 0m 21s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
6h 0m 21s
fix(formal): make LSC-1u protocol proof elaboratable Tiny Tapeout RTL test #10: Commit 734a59a pushed by Th0rgal
22s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
22s
fix(formal): make LSC-1u protocol proof elaboratable CI #466: Commit 734a59a pushed by Th0rgal
6h 0m 22s codex/ttsky26c-lsc1
codex/ttsky26c-lsc1
6h 0m 22s