Build Sat4j from HEAD

Build: #177 failed Changes by Daniel Le Berre

Build result summary

Details

Completed
Duration
1 minute
Labels
None
Show more

Responsible

Code commits

Author Commit Message Commit date
Daniel Le Berre Daniel Le Berre 2563 update maven config to support embedded libraries

Configuration changes

Plan configuration has changed since the last successful build. See the plan audit log for more details.

Tests

New test failures 1
Status Test View job Duration
Collapse Failed BugSAT79 testSuccessiveCallsInGlobalTimeout History
Continuous Integration 3 secs
java.lang.AssertionError: expected:<13> but was:<12>
	at org.sat4j.BugSAT79.testSuccessiveCallsInGlobalTimeout(BugSAT79.java:31)