Started by upstream project "gpkit_PullRequest_Models" build number 402originally caused by: GitHub pull request #1429 of commit 88b46886deef3bf74587f14704b52108dca7ae93, no merge conflicts.