Build Sat4j from HEAD

Build: #178 was successful Manual run by Daniel Le Berre

Test results

  • 2,330 tests in total
  • 1 test was fixed
  • 7 minutes taken in total.
Fixed tests 1
Status Test Failing since View job Duration
Successful BugSAT79 testSuccessiveCallsInGlobalTimeout History
Failing since build #177 (Changes by Daniel Le Berre) Continuous Integration 5 secs

See detailed test results for Continuous Integration