Skip to content

CI: Make jobs names shorter#39

Merged
oharboe merged 1 commit intoThe-OpenROAD-Project:mainfrom antmicro:shorter-job-namesApr 30, 2024

Commits

Commits on Apr 30, 2024