Skip to content

GitLab

Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Closed
Created by CHAMONT David@chamont

GNU time

C'est possible d'ajouter l'appli GNU time sur les serveurs ? A priori, un simple apt-get install -y time devrait faire l'affaire.

Edited by CHAMONT David