minor

3 jobs for master in 4 minutes and 17 seconds (queued for 19 seconds)
Status Job ID Name Coverage
  Build
passed #393681
docker
build

00:01:48

 
  Deploy
failed #393682
docker allowed to fail
deadlinks

00:01:49

passed #393683
docker
deploy

00:00:40

 
Name Stage Failure
failed
deadlinks Deploy
  *  External link https://www.doc.ic.ac.uk/~pg/papers/mfps15.pdf failed: 404 No error
rake aborted!
HTML-Proofer found 35 failures!

Tasks: TOP => testlinks
(See full trace by running task with --trace)
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1