Stormpy Service API Pull docker pull --platform linux/amd64 movesrwth/stormpy:ci Build docker build --platform linux/amd64 -t dgbtechnologies/stormpy-service-api:latest . --no-cache Push docker push dgbtechnologies/stormpy-service-api:latest