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.
Gitlab has been updated. More info here.
Public shared runners resource limitation enforced, starting March 20, 2024. Read more
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.