1. b0e1bd8 jenkins: use osmo-clean-workspace.sh before and after build by Neels Hofmeyr · 7 years ago
  2. 76b98cf add contrib/jenkins.sh, for gerrit build bot by Neels Hofmeyr · 8 years ago