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 #219281
build

00:00:01

failed #166250
build

failed #166277
build

failed #168235
build

00:03:38

failed #168248
build

00:00:01

failed #168249
build

00:00:01

failed #168250
build

00:00:09

failed #168256
build

00:00:02

failed #172426
build

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)