Skip to content
[Jenkins]Jenkins
log in
The Jenkins Controller is preparing for shutdown. No new builds can be started.
DisplayName?
N/A
Description?
<a title="better sweep printing, clean sgp cost, lint" href="https://github.com/convexengineering/gpkit/pull/1567">PR 1567</a>: better sweep printing, clean sgp cost, lint