Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Reindent jenkins configuration file (details)
  2. Add jenkins pipeline options (details)
Commit 2b335258a2e83990748beb636964d5870bdb9dc8 by Bruno Turcksin
Reindent jenkins configuration file
The file was modified ci/jenkins_config (diff)
Commit 90ac5968dc6e20257866c8ca0098f47663431cb3 by Bruno Turcksin
Add jenkins pipeline options
The file was modified ci/jenkins_config (diff)