Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 793151b1 authored by GARCIA PINTO Vinicius's avatar GARCIA PINTO Vinicius Committed by THIBAULT Samuel

fix Workerorder documentation to be consistent with StarPU doc

parent 2a1c6910
Pipeline #159063 passed with stages
in 1 minute and 22 seconds