Interrompre proprement les jobs sur le serveur et voir des résultats partiels
Suite à !688 (merged), @flothoni se demandait si sela pourrait être utilisé sur le serveur.
Surtout en cas de timeout, ce serait pertinent de récupérer, au bout de plusieurs heures de calcul, un résultat partiel... On pourrait soit envoyer SIGINT, soit un autre signal. Nécessiterait d'afficher clairement le warning W09.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information