mor1/polyml repository overview

⁠Mort's Dockerfiles

Wrap up some common utilities in containers.

make will build and push all of them.

make <directory>/ (note trailing slash) will build and push the specified image.

make <directory>-build will build the specified image.

make <directory>-push will push the specified image