Docker CI

add a link to the raw paste from the pretty paste #12

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
docker-build (amd64)	4m 31s
docker-build (arm64)	4m 47s
docker-push	9s
	9m 27s