ci

Make `dev` package unique #194

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fawltydeps	1m 30s
ruff	36s
pyright	1m 5s
build-docs	2m 10s
sync	1m 24s
test (macos-13, 3.11)	1m 28s
test (macos-13, 3.12)	1m 34s
test (ubuntu-22.04, 3.11)	1m 23s
test (ubuntu-22.04, 3.12)	1m 31s
test (windows-2022, 3.11)	1m 10s
test (windows-2022, 3.12)	1m 19s
deploy-docs	13s
	15m 23s