Run CI

chore: Update type hints to quiet psalm #28

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-build (8.1, true, 5.x-dev)	32s
ci-build (8.1, true, dev-main)	36s
ci-build (8.2, false, 5.x-dev)	34s
ci-build (8.2, false, dev-main)	21s
ci-build (8.3, false, 5.x-dev)	20s
ci-build (8.3, false, dev-main)	22s
	2m 45s