Merge branch 'master' into 'master'

Add url where to find latest pdf

See merge request !1
9 jobs for master
Status Job ID Name Coverage
  Test
failed build #219281

00:00:01

failed build #168256

00:00:02

failed build #168250

00:00:09

failed build #168249

00:00:01

failed build #166277

failed build #166250

failed build #168235

00:03:38

failed build #168248

00:00:01

failed build #172426

00:00:01

 
Name Stage Failure
failed
build Test
Running with gitlab-runner 11.2.0 (11.2.0)
on pse-tipps@i44pc7 XD-9sTnb
Using Docker executor with image blang/latex ...
Pulling docker image gitlab-runner-helper:11.2.0 ...
ERROR: Failed to create container volume for /builds/IPDSnelting Error response from daemon: pull access denied for gitlab-runner-helper, repository does not exist or may require 'docker login' (executor_docker.go:166:1s)
ERROR: Job failed: Error response from daemon: pull access denied for gitlab-runner-helper, repository does not exist or may require 'docker login' (executor_docker.go:166:1s)