Merge branch 'v1.0.2_cherrypicking' into 'v1.0-stable'

V1.0.2 cherrypicking

See merge request !247
13 jobs for v1.0-stable in 5 minutes and 6 seconds (queued for 1 second)
Status Job ID Name Coverage
  Compilation
canceled cmp:cc7-docker #7834618
docker

00:05:06

passed cmp:cc7-gcc #7834617
docker

00:02:13

passed cmp:cc7-llvm #7834619
docker

00:01:25

failed cmp:mac1014-clang #7834620
mac

00:00:03

passed cmp:slc6-gcc #7834615
docker

00:02:32

passed cmp:slc6-llvm #7834616
docker

00:02:18

 
  Testing
canceled tst:telescope #7834621
docker

 
  Formatting
canceled fmt:cc7-llvm-lint #7834625
docker

canceled fmt:centos7-llvm-format #7834624
docker

canceled fmt:slc6-llvm-format #7834622
docker

canceled fmt:slc6-llvm-lint #7834623
docker

 
  Documentation
canceled cmp:doxygen #7834626
docker

canceled cmp:usermanual #7834627
docker

 
Name Stage Failure
failed
cmp:mac1014-clang Compilation
Skipping Git submodules setup
Restoring cache
Downloading artifacts
Running before_script and script
$ source .gitlab-ci.d/init_mac.sh
Bootstrap only works on macOS Mojave (10.14)
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit status 1