Skip to content

GitLab

Check that non unit constraints are really entered in the solver. Thanks 

STAMP.
5 jobs for master in 36 minutes and 9 seconds (queued for 5 seconds)
309b935d
No related merge requests found.
Name Stage Failure
failed
java11 Test 
222372 [ERROR] 
222372 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
222372 [ERROR] 
222372 [ERROR] For more information about the errors and possible solutions, please read the following articles:
222373 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
222373 [ERROR] 
222373 [ERROR] After correcting the problems, you can resume the build with the command
222374 [ERROR]   mvn <goals> -rf :org.ow2.sat4j.core
ERROR: Job failed: exit code 1
failed
java10 Test 
126879 [ERROR] 
126879 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
126879 [ERROR] 
126879 [ERROR] For more information about the errors and possible solutions, please read the following articles:
126879 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
126879 [ERROR] 
126879 [ERROR] After correcting the problems, you can resume the build with the command
126880 [ERROR]   mvn <goals> -rf :org.ow2.sat4j.core
ERROR: Job failed: exit code 1