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

5 jobs for master in 30 minutes and 21 seconds (queued for 3 seconds)
Name Stage Failure
failed
java11 Test
Running with gitlab-runner 11.2.0 (35e8515d)
on gitlab-shared-runner 0fe43084
Using Docker executor with image maven:3.5.4-jdk-11-alpine ...
Pulling docker image maven:3.5.4-jdk-11-alpine ...
ERROR: Job failed: Error response from daemon: manifest for maven:3.5.4-jdk-11-alpine not found (executor_docker.go:168:1s)
failed
java10 Test
Running with gitlab-runner 11.2.0 (35e8515d)
on gitlab-shared-runner 0fe43084
Using Docker executor with image maven:3.5.4-jdk-10-alpine ...
Pulling docker image maven:3.5.4-jdk-10-alpine ...
ERROR: Job failed: Error response from daemon: manifest for maven:3.5.4-jdk-10-alpine not found (executor_docker.go:168:1s)