adding a setup script and fixing bad docker image #17

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coding-style	19s
check-basics	1s
basics	0s
run-tests	0s
check-mirror-commits	0s
mirror-commits	0s
	20s