CI

Fix user in devbox file (#505) #1777

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bandit	42s
black	32s
build-devbox-image	1m 11s
flake8	32s
isort	38s
mypy	37s
test (3.8)	37s
update-dev-docs	50s
test (3.9)	35s
verify-wheel (3.8)	33s
test (3.10)	32s
verify-wheel (3.9)	30s
build-docs	0s
verify-wheel (3.10)	36s
test (3.11)	43s
verify-wheel (3.11)	27s
verify-wheel (3.12)	46s
test (3.12)	52s
	11m 13s