Closed chris-zen closed 1 month ago
This PR moves the creation of docker containers to CI as part of the development process.
Moved to the branch dev/containers-ci.
dev/containers-ci
This PR moves the creation of docker containers to CI as part of the development process.