Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Remove useless AM_CONDITIONAL STARPU_USE_PAPI

3 jobs for !22 with remove-starpu-use-papi in 21 minutes and 54 seconds (queued for 2 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build #1137166

00:06:01

 
  Deploy
passed check #1137167

00:09:53

passed simgrid #1137168

00:05:59