build #2460

Environment variables

Name	Value
BUILD_CAUSE	GHPRBCAUSE
BUILD_CAUSE_GHPRBCAUSE	true
BUILD_DISPLAY_NAME	#2460
BUILD_ID	2460
BUILD_NUMBER	2460
BUILD_TAG	jenkins-CE_gpkit_PR_pylint-2460
BUILD_URL	https://acdl.mit.edu/csi/job/CE_gpkit_PR_pylint/2460/
EXECUTOR_NUMBER	-1
GIT_BRANCH	fresh-install-fixes
HOME	/home/jenkins
HUDSON_HOME	/var/lib/jenkins
HUDSON_SERVER_COOKIE	e124851fc3e0704d
HUDSON_URL	https://acdl.mit.edu/csi/
JENKINS_HOME	/var/lib/jenkins
JENKINS_SERVER_COOKIE	e124851fc3e0704d
JENKINS_URL	https://acdl.mit.edu/csi/
JOB_BASE_NAME	CE_gpkit_PR_pylint
JOB_NAME	CE_gpkit_PR_pylint
JOB_URL	https://acdl.mit.edu/csi/job/CE_gpkit_PR_pylint/
LANG	en_US.UTF-8
LOGNAME	jenkins
MOTD_SHOWN	pam
NODE_LABELS	reynolds
NODE_NAME	reynolds
OLDPWD	/home/jenkins
PATH	/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
PWD	/jenkins
ROOT_BUILD_CAUSE	GHPRBCAUSE
ROOT_BUILD_CAUSE_GHPRBCAUSE	true
RUN_DISPLAY_URL	https://acdl.mit.edu/csi/job/CE_gpkit_PR_pylint/2460/display/redirect
SHELL	/bin/bash
SHLVL	0
SSH_CLIENT	18.18.33.14 33200 22
SSH_CONNECTION	18.18.33.14 33200 10.33.0.65 22
USER	jenkins
XDG_RUNTIME_DIR	/run/user/1002
XDG_SESSION_CLASS	user
XDG_SESSION_ID	13671
XDG_SESSION_TYPE	tty
_	/usr/bin/java
ghprbActualCommit	13dc8a4e2a60db93dc818cf7c16a5b853f320ffc
ghprbActualCommitAuthor	Warren Hoburg
ghprbActualCommitAuthorEmail	whoburg@alum.mit.edu
ghprbAuthorRepoGitUrl	https://github.com/whoburg/gpkit.git
ghprbCommentBody	null
ghprbCredentialsId	2a2b74d8-fbb8-4038-938a-85796af1b79f
ghprbGhRepository	convexengineering/gpkit
ghprbPullAuthorLogin	whoburg
ghprbPullAuthorLoginMention	@whoburg
ghprbPullDescription	GitHub pull request #1577 of commit 13dc8a4e2a60db93dc818cf7c16a5b853f320ffc, no merge conflicts.
ghprbPullId	1577
ghprbPullLink	https://github.com/convexengineering/gpkit/pull/1577
ghprbPullLongDescription	Fixed several broken links in `installation.rst`.
ghprbPullTitle	Fresh install fixes
ghprbSourceBranch	fresh-install-fixes
ghprbTargetBranch	master
sha1	origin/pr/1577/merge