Skip to content
Web UI Checks

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Code Format, Lint, Typecheck, Test, and Build
41s
41s