Skip to content

Actions: DarthCeltic/Determinex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
138 workflow runs
138 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
Front page leads with what holds; stdout secured on 98 entrypoints CI #58: Commit 7c8b275 pushed by DarthCeltic
11m 34s main
main
11m 34s
Front page leads with what holds; stdout secured on 98 entrypoints Determinex CI #59: Commit 7c8b275 pushed by DarthCeltic
6m 16s main
main
6m 16s
Cloak: Verilog designs were shipping to models in the clear CI #57: Commit bf7b159 pushed by DarthCeltic
10m 44s main
main
10m 44s
Cloak: Verilog designs were shipping to models in the clear Determinex CI #58: Commit bf7b159 pushed by DarthCeltic
5m 5s main
main
5m 5s
eqy runner: verified flags, toolchain preflight, no-solve setup mode Determinex CI #57: Commit 47045a6 pushed by DarthCeltic
5m 59s main
main
5m 59s
eqy runner: verified flags, toolchain preflight, no-solve setup mode CI #56: Commit 47045a6 pushed by DarthCeltic
11m 46s main
main
11m 46s
Formal equivalence as a Determinex oracle (eqy) Determinex CI #56: Commit 90febb9 pushed by DarthCeltic
5m 27s main
main
5m 27s
Formal equivalence as a Determinex oracle (eqy) CI #55: Commit 90febb9 pushed by DarthCeltic
11m 15s main
main
11m 15s
Physical design: an oracle over OpenROAD, and the corpus that grounds it CI #54: Commit 9e98fdd pushed by DarthCeltic
12m 6s main
main
12m 6s
Physical design: an oracle over OpenROAD, and the corpus that grounds it Determinex CI #55: Commit 9e98fdd pushed by DarthCeltic
6m 14s main
main
6m 14s
Determinex 1.0 — AMD Radeon Hackathon Track 2 submission Determinex CI #54: Commit eb62216 pushed by DarthCeltic
6m 21s main
main
6m 21s
Determinex 1.0 — AMD Radeon Hackathon Track 2 submission CI #53: Commit eb62216 pushed by DarthCeltic
12m 2s main
main
12m 2s
Restore the AGPL grant notice and copyright line to the three LICENSE… Determinex CI #53: Commit 7845a13 pushed by DarthCeltic
6m 25s main
main
6m 25s
Honest refusal demo, natural-language spec parsing, and the judge rep… Determinex CI #52: Commit 6f42ecd pushed by DarthCeltic
4m 47s main
main
4m 47s
Honest refusal demo, natural-language spec parsing, and the judge rep… CI #52: Commit 6f42ecd pushed by DarthCeltic
8m 15s main
main
8m 15s
Ship idea.md so the README reproduction command runs as written Determinex CI #51: Commit 8ab1fab pushed by DarthCeltic
6m 26s main
main
6m 26s
Verified-search hot-rung skew, natural-language spec parsing, and the… CI #51: Commit 4cc804a pushed by DarthCeltic
11m 22s main
main
11m 22s
Verified-search hot-rung skew, natural-language spec parsing, and the… Determinex CI #50: Commit 4cc804a pushed by DarthCeltic
2m 10s main
main
2m 10s
Onboarding that a non-technical user can finish, cross-drive projects… CI #50: Commit 785447f pushed by DarthCeltic
11m 26s main
main
11m 26s
Onboarding that a non-technical user can finish, cross-drive projects… Determinex CI #49: Commit 785447f pushed by DarthCeltic
4m 59s main
main
4m 59s
feat(calibrate): per-rig K calibration - the system measures the hard… CI #49: Commit f966d7f pushed by DarthCeltic
10m 12s main
main
10m 12s
feat(calibrate): per-rig K calibration - the system measures the hard… Determinex CI #48: Commit f966d7f pushed by DarthCeltic
6m 4s main
main
6m 4s
fix(guards): no-hardcoded-paths matched nothing for months; pattern f… CI #48: Commit 475a183 pushed by DarthCeltic
10m 5s main
main
10m 5s
fix(guards): no-hardcoded-paths matched nothing for months; pattern f… Determinex CI #47: Commit 475a183 pushed by DarthCeltic
6m 8s main
main
6m 8s
fix(hooks): scope formatters off vendored+evidence trees, bump ruff p… Determinex CI #46: Commit 9b21f6f pushed by DarthCeltic
6m 3s main
main
6m 3s