pull request

Remove the dev database along with the nightly shutdown #171

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build	10s
test / verify formatting	27s
test / lint	24s
test / unit tests	23s
	1m 24s