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.

starpu_fxt_tool: add call to starpu_drivers_preinit

So the drivers names are loaded and fix workers named unknow
2 jobs for !14 with fix_fxt_tool in 13 minutes and 6 seconds (queued for 1 second)
detached
Status Name Job ID Coverage
  Build
passed build #978632

00:05:40

 
  Deploy
passed deploy #978633

00:07:25