Skip to content
Build Queue
No builds in the queue.

Command safe-shutdown

java -jar jenkins-cli.jar -s https://ci.inria.fr/ocaml/ safe-shutdown
Puts Jenkins into the quiet mode, wait for existing builds to be completed, and then shut down Jenkins.