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 Jan 12, 2022 3:24:03 PM
Started by event from 140.82.115.121 ⇒ https://acdl.mit.edu/csi/github-webhook/ on Wed Jan 12 15:24:03 EST 2022
Using strategy: Default
[poll] Last Built Revision: Revision 6fbea1761006403df4076b3065cbef6184cb6f35 (refs/remotes/origin/master)
The recommended git tool is: NONE
using credential 3614a4cf-01de-4393-97de-73734b7dd5a2
 > git --version # timeout=10
 > git --version # 'git version 2.7.4'
using GIT_SSH to set credentials 
 > git ls-remote -h https://github.com/convexengineering/gpkit # timeout=10
Found 17 remote heads on https://github.com/convexengineering/gpkit
[poll] Latest remote head revision on refs/heads/master is: a02e3f8c5cd9f83fea989b53efd95d22493ddbd0
Done. Took 0.31 sec
Changes found