Skip to content

Merge pull request #601 from gdsfactory/port-default-args #1372

Merge pull request #601 from gdsfactory/port-default-args

Merge pull request #601 from gdsfactory/port-default-args #1372

Triggered via push February 8, 2025 22:42
Status Success
Total duration 18s
Artifacts
update_release_draft
8s
update_release_draft
require_label
0s
require_label
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
update_release_draft
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
update_release_draft
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
update_release_draft
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
update_release_draft
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)