build and push docker image

clean: after ci relock changes (#63) #371

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-push-vanilla	2m 21s
build-and-push-oer	2m 43s
build-and-push-basic	2m 36s
build-and-push-mug	2m 32s
	10m 12s