Skip to content

Merge pull request #2740 from pythonarcade/gui/fix-double-caret #2568

Merge pull request #2740 from pythonarcade/gui/fix-double-caret

Merge pull request #2740 from pythonarcade/gui/fix-double-caret #2568

Triggered via push June 24, 2025 21:15
Status Success
Total duration 46s
Artifacts

verify_types.yml

on: push
Verify types
42s
Verify types
Fit to window
Zoom out
Zoom in