switched to prebuilt docker image #198
Loading…
x
Reference in New Issue
Block a user
No description provided.
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.
environment
block in Jenkinsfile which Jenkins does not like