WRENCH Docker Releases and Builds

This repository contains Dockerfiles for WRENCH releases, as well as configuration files to build containers that are used to build and test WRENCH on variety of platforms.

Docker Hub for WRENCH Releases: https://hub.docker.com/r/wrenchproject/wrench/

Docker Hub for WRENCH Builds: https://hub.docker.com/r/wrenchproject/wrench-build/

---

Building containers

There is a convenient script build_all_locally.sh that builds all images, which then should be pushed to DockerHub.