Merge branch 'master' of gitlab.inria.fr:starpu/starpu.gitlabpages.inria.fr

2 jobs for master in 1 minute and 43 seconds (queued for 1 second)
Status Job ID Name Coverage
  Pages
passed #985955
pages

00:01:43

 
  Deploy
passed pages:deploy

00:00:20