Pull request checks

normalize string ID to int in server messages for compatibility #1406

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checks / format	49s
checks / typecheck	1m 2s
checks / test (3.11, ubuntu-latest)	59s
checks / test (3.10, windows-latest)	1m 51s
checks / test (3.12, ubuntu-latest)	56s
checks / test (3.12, windows-latest)	2m 20s
checks / test (3.13, ubuntu-latest)	1m 0s
checks / test (3.13, windows-latest)	2m 20s
checks / test (3.11, windows-latest)	1m 57s
checks / test (3.10, ubuntu-latest)	58s
checks / format	49s
checks / test (3.12, ubuntu-latest)	56s
checks / test (3.10, ubuntu-latest)	58s
checks / test (3.10, windows-latest)	1m 59s
checks / test (3.11, windows-latest)	1m 51s
checks / typecheck	1m 2s
checks / test (3.12, windows-latest)	2m 20s
checks / test (3.11, ubuntu-latest)	59s
checks / test (3.13, windows-latest)	2m 20s
checks / test (3.13, ubuntu-latest)	1m 0s
	28m 26s