Skip to content

Repair formal and Docker setup in SKY130 CI - #1

Merged
jordanrule merged 2 commits into
scaffold/sky130-openlanefrom
copilot/fix-ci-issues
Oct 13, 2026
Merged

Repair formal and Docker setup in SKY130 CI#1
jordanrule merged 2 commits into
scaffold/sky130-openlanefrom
copilot/fix-ci-issues

Install SymbiYosys and solver in CI

ddffd11
Select commit
Loading
Failed to load commit list.

There are no checks for this commit