Started 2 yr 6 mo ago
Took 15 min on windows10x64

Build windows10x64,mosek (Mar 4, 2020, 2:10:08 AM)

PR 1473: closing some todos
Changes
  1. closing some todos (details / githubweb)

Started by upstream project CE_gpkit_PR_research_models build number 424
originally caused by:

  • GitHub pull request #1473 of commit f0bf06d5c08d7044073b7aa7e449ab60e9c526df, no merge conflicts.
Revision: 14b57c735613c1ca5a80ea864c12e74a60bb32bd
Repository: https://github.com/convexengineering/gpkit
  • origin/pr/1473/merge
  • origin/master
0 errors, 0 warnings
Test Result (no failures)