Pycroft CI

tooling: run schema commands against `dev-migrate`, not `dev-app` #1256

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
npm-build	17s
pre-commit	31s
build	2m 17s
python-lint	1m 5s
test	4m 29s
deploy-docs	8s
	8m 47s