Skip to content

Allow non-ASCII characters in identifiers #4391

Allow non-ASCII characters in identifiers

Allow non-ASCII characters in identifiers #4391

Triggered via pull request August 2, 2026 09:33
Status Success
Total duration 1m 30s
Artifacts

typecheck.yml

on: pull_request
Fit to window
Zoom out
Zoom in