Skip to content

[circt-synth] Disable test if yosys-abc unavailable#9295

Merged
fabianschuiki merged 1 commit intomainfrom
fschuiki/yosys-abc-flag
Dec 4, 2025
Merged

[circt-synth] Disable test if yosys-abc unavailable#9295
fabianschuiki merged 1 commit intomainfrom
fschuiki/yosys-abc-flag

Commits

Commits on Dec 3, 2025