Build Sat4j from HEAD

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

Build result summary

Details

Completed
Duration
4 minutes
Labels
None
Show more
  • 0 New failures
  • 0 Existing failures
  • 1 Fixed

Tests

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