Closed Mtze closed 4 months ago
We should add a CI pipeline to build the docker container and push it to the github registry.
The standadized workflows are spcified here: https://github.com/ls1intum/.github
We should add a CI pipeline to build the docker container and push it to the github registry.
The standadized workflows are spcified here: https://github.com/ls1intum/.github