ci

Finish renaming `dev.ps1` #531

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ruff	12s
sync	16s
build-docs	21s
fawltydeps	28s
pyright	23s
test (macos-13, 3.11)	34s
test (macos-13, 3.12)	34s
test (ubuntu-22.04, 3.11)	23s
test (ubuntu-22.04, 3.12)	13s
test (windows-2022, 3.11)	56s
test (windows-2022, 3.12)	38s
deploy-docs	7s
	5m 5s