Skip to content
Main branch checks

Fixes incorrect casting into int for numbers in string format (#384) #165

Sign in to view logs

Fixes incorrect casting into int for numbers in string format (#384)

Fixes incorrect casting into int for numbers in string format (#384) #165

Run time

Learn about OS pricing on GitHub Actions
Job Run time
checks / test (3.13)
18s
checks / format
13s
checks / test (3.10)
16s
checks / test (3.12)
17s
checks / test (3.11)
16s
checks / typecheck
19s
1m 39s