Update get-frama-c.html

2 jobs for master in 9 minutes and 10 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Deploy
passed pages #425412
docker

00:09:10

passed pages:deploy

00:00:00