HypoFuzz CI/CD

Respect database in dashboard (and add tests) #175

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
test (3.9, test)	55s
check	16s
test (3.9, pytest7)	58s
docs	37s
test (3.10, test)	57s
test (3.10, pytest7)	58s
test (3.11, test)	54s
test (3.11, pytest7)	52s
test (3.12, test)	58s
test (3.12, pytest7)	1m 1s
test (3.13, test)	4m 38s
test (3.13, pytest7)	4m 36s
release	0s
	17m 40s