Attention une mise à jour du service Gitlab va être effectuée le mardi 14 décembre entre 13h30 et 14h00. 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.

Add STARPU_FXT_EVENTS to select at runtime events to record

3 jobs for !32 with fxt-select-events in 20 minutes and 16 seconds (queued for 2 seconds)
latest detached
Status Job ID Name Coverage
  Build
passed #1305185
build

00:05:39

 
  Deploy
passed #1305186
linux
check_linux

00:10:41

passed #1305187
simgrid

00:03:55