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 Name Job ID Coverage
  Build
passed build #1217182

00:05:37

 
  Deploy
passed check #1217183

00:10:27

passed simgrid #1217184

00:03:51