Merge branch 'master' into update/auto-heteroprio

3 jobs for !18 with update/auto-heteroprio in 19 minutes and 55 seconds (queued for 1 minute and 57 seconds)
latest detached
Status Job ID Name Coverage
  Build
passed #1217182
build

00:05:37

 
  Deploy
passed #1217183
check

00:10:27

passed #1217184
simgrid

00:03:51