Merge branch 'main' into Bump-GitHub-actions-and-checkers #1178

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mypy (3.8)	44s
mypy (3.9)	1m 13s
pyright (3.8)	58s
mypy (3.10)	1m 0s
Cross-compile ARM (3.10)	6m 42s
pyright (3.9)	2m 17s
checkers	55s
mypy (3.11)	1m 0s
Cross-compile ARM (3.11)	7m 12s
pyright (3.10)	57s
mypy (3.12)	52s
Cross-compile ARM (3.12)	7m 3s
pyright (3.11)	1m 4s
mypy (3.13)	1m 44s
Cross-compile ARM (3.13)	6m 54s
pyright (3.12)	2m 32s
Build and test (3.8, x64)	8m 4s
pyright (3.13)	1m 44s
Build and test (3.8, x86)	7m 21s
Build and test (3.9, x64)	8m 11s
Build and test (3.9, x86)	8m 10s
Build and test (3.10, x64)	7m 4s
Build and test (3.10, x86)	7m 11s
Build and test (3.11, x64)	8m 3s
Build and test (3.11, x86)	8m 1s
Build and test (3.12, x64)	6m 45s
Build and test (3.12, x86)	9m 7s
Build and test (3.13, x64)	7m 22s
Build and test (3.13, x86)	9m 5s
	2h 19m 15s