Skip to content

Merge pull request #22526 from yoff/python/wildcard-is-not-default-case #9757

Merge pull request #22526 from yoff/python/wildcard-is-not-default-case

Merge pull request #22526 from yoff/python/wildcard-is-not-default-case #9757

Triggered via push September 12, 2026 21:38
Status Success
Total duration 19s
Artifacts
Fit to window
Zoom out
Zoom in