continuously update docker images #660
Description
Provision automation to automatically rebuild and push Docker images, in order to keep up with security patches, bugfixes, and new features of parent images.
For example, rebuild & repush nightly.
Docker Hub has its own automation system for doing this. Curious how well that integrates with multiplatform images. Would likely need to rewrite the Dockerfiles to explicitly clone our projects.
There's also GitHub Actions. However, GitHub Actions is known to struggle with all things Docker, due to artificially imposed disk capacity problems.