Started [Wed Aug 28 00:41:34 UTC 2019] Starting branch indexing... Connecting to https://api.github.com using docker-jenkins/****** (docker-jenkins GitHub credentials) Examining docker/binfmt Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria Changes detected: master (null → 93c19d17d99cad393dbb66416eef8bd4db5a76af) Scheduled build for branch: master 1 branches were processed Checking pull-requests... 0 pull requests were processed Finished examining docker/binfmt [Wed Aug 28 00:41:34 UTC 2019] Finished branch indexing. Indexing took 0.48 sec Finished: SUCCESS