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.

[dev] OAR properties generator: unify DO= arguments with other generators

4 jobs for master in 1 minute and 32 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Validate
passed #308528
grid5000-docker
rubocop

00:00:31

passed #308529
grid5000-docker
validate-data

00:00:53

 
  Generate
passed #308530
grid5000-docker
generate-reference-api

00:00:32

 
  Deploy
passed #308531
grid5000-shell
deploy

00:00:06