Merge branch 'master' into plugin

3 jobs for !23 with plugin in 19 minutes and 5 seconds (queued for 3 seconds)
latest detached
Status Job ID Name Coverage
  Build
passed #1166884
build

00:05:37

 
  Deploy
passed #1166885
check

00:09:38

passed #1166886
simgrid

00:03:49