Skip to content

Merge pull request #428 from gdsfactory/fix_write_drc #420

Merge pull request #428 from gdsfactory/fix_write_drc

Merge pull request #428 from gdsfactory/fix_write_drc #420

Triggered via push June 20, 2024 12:58
Status Success
Total duration 12s
Artifacts
update_release_draft
5s
update_release_draft
require_label
0s
require_label
Fit to window
Zoom out
Zoom in