Skip to content
TypeCheck

Renamed history --output_file to --output-file to follow common command-line practices #344

Sign in to view logs

Renamed history --output_file to --output-file to follow common command-line practices

Renamed history --output_file to --output-file to follow common command-line practices #344

Run time

Learn about OS pricing on GitHub Actions
Job Run time
type-check (3.11)
20s
type-check (3.14)
22s
type-check (3.10)
21s
type-check (3.12)
17s
type-check (3.13)
22s
1m 42s