CI

ci: add optimized CI/CD workflows #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	9s
format-check	12s
security	8s
type-check	15s
test (3.12, ubuntu-latest)	19s
test (3.13, ubuntu-latest)	16s
test (3.12, macos-latest)	18s
test (3.12, windows-latest)	28s
	2m 5s