Skip to content
Lint

fix: allow int as placeholder array index type #3227

Sign in to view logs

fix: allow int as placeholder array index type

fix: allow int as placeholder array index type #3227

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run PyLint
32s
32s