Skip to content
[Jenkins]Jenkins
log in
The Jenkins Controller is preparing for shutdown. No new builds can be started.
Started 4 yr 8 mo ago
Took 1 min 10 sec on macys
Success

macys,mosek (Sep 9, 2019, 2:01:10 PM)

PR 41: More testing and class changes (tbRenamed.)
Changes
  1. whitespace changes to test on github (details / githubweb)
  2. remove duplicate test (details / githubweb)
  3. Function names shortened. (details / githubweb)
  4. More renaming. (details / githubweb)
  5. Dumb test for constructing linearization data. (details / githubweb)

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

  • GitHub pull request #41 of commit 4bb7d9320453c1b542076417d45cfb6a58c4cca7, no merge conflicts.
0 errors, 0 warnings
Packages: 50%   Files: 61%   Classes: 61%   Lines: 51%   Conditionals: 100%  
Test Result (no failures)