Started by upstream project "gpkit_PullRequest_Models" build number 403originally caused by: GitHub pull request #1431 of commit 43241f0a0c40c4c7ccbd46299905cbd2d6758931, no merge conflicts.