Monthly Archives: October 2017

Official Jenkins Docker

Official Jenkins Docker image The Jenkins Continuous Integration and Delivery server. This is a fully functional Jenkins server. http://jenkins.io/. Usage docker run -p 8080:8080 -p 50000:50000 jenkins/jenkins:lts NOTE: read below the build executors part for the role of the 50000 port mapping. This will store the workspace in /var/jenkins_home. All Jenkins data lives in there – including plugins and configuration.… Read More »

Show current state of Jenkins build on GitHub repo

Go to GitHub, log in, go to Settings, Personal access tokens, click on Generate new token. Check repo:status (I’m not sure this is necessary, but I did it, and it worked for me). Generate the token, copy it. Make sure the GitHub user you’re going to use is a repository collaborator (for private repos) or is a member of a… Read More »