Merge branch 'master' of https://gitlab.onelab.info/gmsh/gmsh

9 jobs for master in 15 minutes and 38 seconds (queued for 2 minutes and 13 seconds)
latest
Status Name Job ID Coverage
  Test
passed linux64_docker #1848
linux64 docker

00:09:01

passed linux64_docker_cxx98_compat #1849
linux64 docker

00:05:06

passed linux64_docker_minimal #1850
linux64 docker

00:01:30

failed linux64_official #1852
linux64 official

failed macos64_official #1855
macos64 official

failed source_official #1856
linux64 official

failed windows32_official #1854
windows32 official allowed to fail

failed windows64_msvc #1851
windows64 official

failed windows64_official #1853
windows64 official

 
Name Stage Failure
failed
source_official Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log
failed
macos64_official Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log
failed
windows32_official Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log
failed
windows64_official Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log
failed
linux64_official Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log
failed
windows64_msvc Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log