SuccessChanges

Summary

  1. contrib/ci.inria.fr: use the "Pipeline: Step API" plugin to select unix (details)
Commit 09880460595a692930ba98e5bcdcd3e0edad0055 by Brice.Goglin
contrib/ci.inria.fr: use the "Pipeline: Step API" plugin to select unix
nodes
Use nodesByLabel() to select nodes with the 'unix' label that are
currently online.
Don't do it manually since it required authorizing several sensitive
procedures.
Signed-off-by: Valentin Hoyet <valentin.hoyet@inria.fr>
(cherry picked from commit 8249f30da1f3b9c3a23882321b90155dd15b6f60)
The file was modifiedcontrib/ci.inria.fr/Jenkinsfile-extended (diff)
The file was modifiedcontrib/ci.inria.fr/Jenkinsfile-basic (diff)