Closed pattacini closed 3 years ago
This PR adds up the infrastructure to build the docker image on GitHub. Unfortunately, we need to merge the PR straight away to build able to start off testing the building process.
This PR adds up the infrastructure to build the docker image on GitHub. Unfortunately, we need to merge the PR straight away to build able to start off testing the building process.