Skip to content

Actions: lfglabs-dev/lean-silicon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,285 workflow runs
2,285 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
LSC1-05 v2: Lean ↔ authored-RTL common relation with explicit adversa… gds #463: Commit 45d4883 pushed by Th0rgal
6h 6m 29s main
main
6h 6m 29s
LSC1-05 v2: Lean ↔ authored-RTL common relation with explicit adversa… Tiny Tapeout RTL test #463: Commit 45d4883 pushed by Th0rgal
1m 44s main
main
1m 44s
LSC1-05 v2: Lean ↔ authored-RTL common relation with explicit adversa… CI #1204: Commit 45d4883 pushed by Th0rgal
45m 51s main
main
45m 51s
LSC1-05 v2: Lean ↔ authored-RTL common relation with explicit adversa… docs #115: Commit 45d4883 pushed by Th0rgal
5m 38s main
main
5m 38s
LSC1-05 v2: Lean ↔ authored-RTL common relation with explicit adversarial regressions CI #1203: Pull request #88 synchronize by Th0rgal
37m 26s lsc1-05-v2-lean-rtl-relation
lsc1-05-v2-lean-rtl-relation
37m 26s
SHA256SUMS: add missing entries for LSC1-05 v2 evidence and test files docs #114: Commit f8fe023 pushed by Th0rgal
38s lsc1-05-v2-lean-rtl-relation
lsc1-05-v2-lean-rtl-relation
38s
SHA256SUMS: add missing entries for LSC1-05 v2 evidence and test files gds #462: Commit f8fe023 pushed by Th0rgal
9m 2s lsc1-05-v2-lean-rtl-relation
lsc1-05-v2-lean-rtl-relation
9m 2s
SHA256SUMS: add missing entries for LSC1-05 v2 evidence and test files Tiny Tapeout RTL test #462: Commit f8fe023 pushed by Th0rgal
34s lsc1-05-v2-lean-rtl-relation
lsc1-05-v2-lean-rtl-relation
34s
LSC1-05 v2: Lean ↔ authored-RTL common relation with explicit adversarial regressions CI #1202: Pull request #88 opened by Th0rgal
44m 1s lsc1-05-v2-lean-rtl-relation
lsc1-05-v2-lean-rtl-relation
44m 1s
LSC1-05 v2: add explicit adversarial regressions for PR #73 defect cl… gds #461: Commit cfcf2b7 pushed by Th0rgal
8m 45s lsc1-05-v2-lean-rtl-relation
lsc1-05-v2-lean-rtl-relation
8m 45s
LSC1-05 v2: add explicit adversarial regressions for PR #73 defect cl… docs #113: Commit cfcf2b7 pushed by Th0rgal
7m 14s lsc1-05-v2-lean-rtl-relation
lsc1-05-v2-lean-rtl-relation
7m 14s
LSC1-05 v2: add explicit adversarial regressions for PR #73 defect cl… Tiny Tapeout RTL test #461: Commit cfcf2b7 pushed by Th0rgal
1m 23s lsc1-05-v2-lean-rtl-relation
lsc1-05-v2-lean-rtl-relation
1m 23s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm Tiny Tapeout RTL test #460: Commit 53a852e pushed by Th0rgal
33s main
main
33s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm gds #460: Commit 53a852e pushed by Th0rgal
8m 24s main
main
8m 24s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm docs #112: Commit 53a852e pushed by Th0rgal
43s main
main
43s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm CI #1201: Commit 53a852e pushed by Th0rgal
6h 0m 57s main
main
6h 0m 57s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm CI #1200: Pull request #87 synchronize by Th0rgal
48m 22s lsc1-08-s12-taken-proposal-inline
lsc1-08-s12-taken-proposal-inline
48m 22s
LSC1-08 S12: register evidence/lsc1-08-s12/jump_taken_proposal_differ… docs #111: Commit d71b01c pushed by Th0rgal
44s lsc1-08-s12-taken-proposal-inline
lsc1-08-s12-taken-proposal-inline
44s
LSC1-08 S12: register evidence/lsc1-08-s12/jump_taken_proposal_differ… gds #459: Commit d71b01c pushed by Th0rgal
8m 46s lsc1-08-s12-taken-proposal-inline
lsc1-08-s12-taken-proposal-inline
8m 46s
LSC1-08 S12: register evidence/lsc1-08-s12/jump_taken_proposal_differ… Tiny Tapeout RTL test #459: Commit d71b01c pushed by Th0rgal
2m 57s lsc1-08-s12-taken-proposal-inline
lsc1-08-s12-taken-proposal-inline
2m 57s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm CI #1199: Pull request #87 opened by Th0rgal
48m 35s lsc1-08-s12-taken-proposal-inline
lsc1-08-s12-taken-proposal-inline
48m 35s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm gds #458: Commit cd459e3 pushed by Th0rgal
17m 23s lsc1-08-s12-taken-proposal-inline
lsc1-08-s12-taken-proposal-inline
17m 23s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm docs #110: Commit cd459e3 pushed by Th0rgal
1m 7s lsc1-08-s12-taken-proposal-inline
lsc1-08-s12-taken-proposal-inline
1m 7s
LSC1-08 S12: inline taken_proposal dead-write in JUMP decode arm Tiny Tapeout RTL test #458: Commit cd459e3 pushed by Th0rgal
49s lsc1-08-s12-taken-proposal-inline
lsc1-08-s12-taken-proposal-inline
49s
LSC1-08 S11: delete validator-dominated admission predicates and dead… docs #109: Commit 76053bb pushed by Th0rgal
1m 1s main
main
1m 1s