switched to prebuilt docker image #198
Reference in New Issue
Block a user
Delete Branch "mohr/docker"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
As with the other docker using projects, do not rebuild docker everytime CI runs.
environmentblock in Jenkinsfile which Jenkins does not like