Skip to content
[Jenkins]Jenkins
log in
The Jenkins Controller is preparing for shutdown. No new builds can be started.

Polling Log

This page captures the polling log that triggered this build.

Started on Jul 1, 2020 2:45:21 PM
Started by event from 140.82.115.146 ⇒ https://acdl.mit.edu/csi/github-webhook/ on Wed Jul 01 14:45:21 EDT 2020
Using strategy: Default
[poll] Last Built Revision: Revision 48afc01e9db02cef6e734cadae0250926d745e3a (refs/remotes/origin/master)
No credentials specified
 > git --version # timeout=10
 > git ls-remote -h https://github.com/convexengineering/robust # timeout=10
Found 21 remote heads on https://github.com/convexengineering/robust
[poll] Latest remote head revision on refs/heads/master is: 3bf741b13bb837e96a33adf1f85cd905bc56e3cd
Done. Took 0.24 sec
Changes found