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 #7834618
docker
cmp:cc7-docker

00:05:06

passed #7834617
docker
cmp:cc7-gcc

00:02:13

passed #7834619
docker
cmp:cc7-llvm

00:01:25

failed #7834620
mac
cmp:mac1014-clang

00:00:03

passed #7834615
docker
cmp:slc6-gcc

00:02:32

passed #7834616
docker
cmp:slc6-llvm

00:02:18

 
  Testing
canceled #7834621
docker
tst:telescope

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

canceled #7834624
docker
fmt:centos7-llvm-format

canceled #7834622
docker
fmt:slc6-llvm-format

canceled #7834623
docker
fmt:slc6-llvm-lint

 
  Documentation
canceled #7834626
docker
cmp:doxygen

canceled #7834627
docker
cmp:usermanual

 
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