Skip to content

gh-143070: Use "+" instead of "!" in automatically generated tkinter widget names #276985

gh-143070: Use "+" instead of "!" in automatically generated tkinter widget names

gh-143070: Use "+" instead of "!" in automatically generated tkinter widget names #276985

Triggered via pull request July 9, 2026 12:40
Status Success
Total duration 1m 15s
Artifacts

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
4s
DO-NOT-MERGE
Unresolved review
5s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: awaiting core review