Update 2020-10-01-rao.md

3 jobs for master in 3 minutes and 37 seconds (queued for 1 minute and 24 seconds)
Status Name Job ID Coverage
  Build
passed build #450455
docker

00:01:29

 
  Deploy
failed deadlinks #450456
docker allowed to fail

00:01:39

passed deploy #450457
docker

00:00:28

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