input file names in the mail
Could you add the input file names in the mail send to the user? The submission date and time should also be added
Suite à des problèmes rencontrés dans les jobs mobilisant une image Docker in Docker (dind), des solutions de contournement ont été proposées.
Voir #148 pour les problèmes de « timeout » sur les runners « test » et #149 pour les problèmes d’accès au démon docker sur les runners « stables ». N’hésitez pas à demander/proposer des compléments aux informations fournies.
Could you add the input file names in the mail send to the user? The submission date and time should also be added