Skip to content

Actions: lfglabs-dev/lean-silicon

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yaml
197 workflow runs
197 workflow runs

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-08 S12: make JUMP differential proof runnable docs #197: Commit f0fd2d8 pushed by Th0rgal
49s codex/ttsky26c
codex/ttsky26c
49s
[NO-MERGE] evidence: independently reproduce ULX3S LSC-1 bitstream (#… docs #196: Commit 948265e pushed by Th0rgal
40s main
main
40s
chore: refresh reproduction test checksum docs #195: Commit 65890eb pushed by Th0rgal
39s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
39s
test: materialize historical promised blobs docs #194: Commit 3a8c0e5 pushed by Th0rgal
38s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
38s
fix: harden ULX3S reproduction certification docs #193: Commit 8d6eec2 pushed by Th0rgal
38s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
38s
test: serialize partial-clone materialization docs #192: Commit 9d70323 pushed by Th0rgal
43s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
43s
test: materialize partial clone fixtures docs #191: Commit a15dab2 pushed by Th0rgal
47s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
47s
fix: close ULX3S manifest verification gaps docs #190: Commit d5ca3d8 pushed by Th0rgal
39s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
39s
fix: keep ULX3S evidence valid after squash docs #189: Commit ebf0874 pushed by Th0rgal
36s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
36s
evidence: preserve and bind clean ULX3S builds docs #188: Commit a9ce903 pushed by Th0rgal
44s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
44s
checksums: index ULX3S reproduction receipt docs #187: Commit adc3e2c pushed by Th0rgal
44s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
44s
evidence: add independent ULX3S reproduction receipt docs #186: Commit 7fb9940 pushed by Th0rgal
1m 6s codex/lsc1-ulx3s-cleanroom-receipt
codex/lsc1-ulx3s-cleanroom-receipt
1m 6s
LSC1-09: add deterministic ULX3S v3.1.8 build evidence (#116) docs #185: Commit 5610ea2 pushed by Th0rgal
39s main
main
39s
fix: anchor FPGA evidence to pinned build outputs docs #184: Commit fc0aef5 pushed by Th0rgal
48s codex/lsc1-09-ulx3s-evidence
codex/lsc1-09-ulx3s-evidence
48s
fix: bind FPGA evidence paths and CAD versions docs #183: Commit 344a1e2 pushed by Th0rgal
37s codex/lsc1-09-ulx3s-evidence
codex/lsc1-09-ulx3s-evidence
37s
fix: close PR 116 evidence and mutation gaps docs #182: Commit 0f27f25 pushed by Th0rgal
45s codex/lsc1-09-ulx3s-evidence
codex/lsc1-09-ulx3s-evidence
45s
checksums: index ULX3S packet artifact docs #181: Commit 1bd4533 pushed by Th0rgal
41s codex/lsc1-09-ulx3s-evidence
codex/lsc1-09-ulx3s-evidence
41s
tools: require complete ULX3 evidence provenance docs #180: Commit a338869 pushed by Th0rgal
51s codex/lsc1-09-ulx3s-evidence
codex/lsc1-09-ulx3s-evidence
51s
tools: bind FPGA evidence to captured source object docs #179: Commit d638851 pushed by Th0rgal
52s codex/lsc1-09-ulx3s-evidence
codex/lsc1-09-ulx3s-evidence
52s
tools: add ULX3 packet evidence verifier docs #178: Commit 50be3a7 pushed by Th0rgal
1m 47s codex/lsc1-09-ulx3s-evidence
codex/lsc1-09-ulx3s-evidence
1m 47s
test: compare scalar status after retirement (#115) docs #177: Commit e638521 pushed by Th0rgal
45s main
main
45s
test: compare scalar status after retirement docs #176: Commit 4429313 pushed by Th0rgal
44s test/lsc1-full-scalar-status-diff
test/lsc1-full-scalar-status-diff
44s
test: preserve scalar result across status query (#114) docs #175: Commit 6f38112 pushed by Th0rgal
37s main
main
37s
test: preserve scalar result across status query docs #174: Commit e55ff63 pushed by Th0rgal
52s codex/lsc1-07-status-preserve
codex/lsc1-07-status-preserve
52s
test: query BLAKE3 while service pending (#113) docs #173: Commit 8a53e37 pushed by Th0rgal
42s main
main
42s