Improve Docker image builds
Build docker image in MR as well
Use resource groups
We don't want concurrent jobs to clobber each others' images.
Test image before pushing to registry
Review/run this locally
- Copy the
pages in mr
job URL (must have succeeded) - Run
bin/review-mr.sh <job url>
Closes #91 (closed)
Edited by Mark Florian