Add new file

11 jobs for master
Status Name Job ID Coverage
  Build
passed build #606737
docker

00:03:28

canceled build #606550
docker

canceled build #606596
docker

 
  Deploy
failed deadlinks #606842
docker allowed to fail

00:01:15

passed deploy #606843
docker

00:00:34

canceled deadlinks #606551
docker allowed to fail

canceled deadlinks #606597
docker allowed to fail

canceled deadlinks #606738
docker allowed to fail

00:00:01

canceled deploy #606552
docker

canceled deploy #606739
docker

canceled deploy #606598
docker

 
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 40 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