Skip to content

Use name in terminal create after Shell Type API is finalized #261

Use name in terminal create after Shell Type API is finalized

Use name in terminal create after Shell Type API is finalized #261

Triggered via issue February 5, 2026 17:00
Status Success
Total duration 13s
Artifacts
Remove needs labels on issue closing
5s
Remove needs labels on issue closing
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
Remove needs labels on issue closing
Error: failed to remove labels: needs spike,needs community feedback,needs proposal
Remove needs labels on issue closing
failed to remove label: needs proposal: HttpError: Label does not exist
Remove needs labels on issue closing
failed to remove label: needs community feedback: HttpError: Label does not exist
Remove needs labels on issue closing
failed to remove label: needs spike: HttpError: Label does not exist