Closed pepijndevos closed 3 months ago
It seems like Yosys renamed their main branch, breaking our CI
https://github.com/YosysHQ/yosys/pull/4297
Ah. Sorry I missed this one
It seems like Yosys renamed their main branch, breaking our CI
https://github.com/YosysHQ/yosys/pull/4297