Skip to content

CR feedback: better names, comments, stricter typing, fewer dict lookups #1498

CR feedback: better names, comments, stricter typing, fewer dict lookups

CR feedback: better names, comments, stricter typing, fewer dict lookups #1498

Triggered via push March 1, 2025 16:20
Status Success
Total duration 51s
Artifacts
Code Format, Lint, Typecheck, Test, and Build
41s
Code Format, Lint, Typecheck, Test, and Build
Fit to window
Zoom out
Zoom in