Status

Changes

Console Output

View as plain text

View Build Information

Parameters

Environment Variables

Git Build Data

Parameters

Console Output (parsed)

Changes since last success

Embeddable Build Status

Previous Build

Next Build

Started 2 yr 8 mo ago

Took 1 hr 3 min on reynolds

#2365 (Aug 2, 2021, 10:43:33 AM)

PR 1553: deduplicate gp hmaps

	Changes deduplicate gp hmaps (details / githubweb) change .pylintrc (details / githubweb) lint (details / githubweb)
	Started by upstream project CE_gpkit_PR_dependencies build number 2365 originally caused by: GitHub pull request #1553 of commit d6abb987ef564a7de6788152b4c3136c841a26e5, no merge conflicts.
	Revision: b3fc636038889704f8231fc2f28137ec6db22fd4 Repository: https://github.com/convexengineering/gpkit origin/pr/1553/merge origin/master
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: b3fc636
	0 errors, 0 warnings