Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 7 mo ago
Took 1 min 23 sec on reynolds
Success

#16 (Sep 9, 2019, 3:24:37 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 16
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)