Files
docker-code-server/Jenkinsfile