Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j

6 jobs for master in 227 minutes and 47 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #22202
jars-j8

00:00:40

passed #22201
java8-sonar

01:01:27

 
  Test
passed #22203
allowed to fail
java7

00:41:00

failed #22205
allowed to fail
maven36-java11

00:43:32

passed #22206
allowed to fail
maven36-java13

00:42:43

passed #22204
allowed to fail
maven36-java8

00:38:22

 
Name Stage Failure
failed
maven36-java11 Test
2590015 [ERROR] 
2590019 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
2590025 [ERROR]
2590025 [ERROR] For more information about the errors and possible solutions, please read the following articles:
2590028 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
2590044 [ERROR]
2590044 [ERROR] After correcting the problems, you can resume the build with the command
2590053 [ERROR] mvn <args> -rf :org.ow2.sat4j.pb
ERROR: Job failed: exit code 1