Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 8 mo ago
Took 1 min 48 sec on windows10x64
Failed

windows10x64,mosek (Sep 3, 2019, 3:04:26 PM)

PR 38: coverage testing
Changes
  1. whitespace changes to test on github (details / githubweb)
  2. remove duplicate test (details / githubweb)

Started by upstream project "robust_PullRequest" build number 10
originally caused by:

  • GitHub pull request #38 of commit e045660ef0b30e80bba0b68a95ba2c10d38d937b, no merge conflicts.
184 errors, 0 warnings