Merge branch 'develop' into 'master'

solver error during validation

See merge request !24
1 job for master in 5 minutes and 58 seconds (queued for 9 seconds)
Name Stage Failure
failed
build_docker_image Build
e9ef7e0b3a53: Retrying in 2 seconds
d9e78a346c9a: Retrying in 2 seconds
5e5970973bc4: Retrying in 1 second
2781c372ab31: Retrying in 1 second
e9ef7e0b3a53: Retrying in 1 second
bc3a322e86f5: Retrying in 1 second
d9e78a346c9a: Retrying in 1 second
received unexpected HTTP status: 500 Internal Server Error
ERROR: Job failed: exit status 1