1. fcbc54b Fixing jenkins file relative paths by Luca Prete · 7 years ago
  2. 225d965 Moving build cleanup at the end of the jenkins file in the finally block by Luca Prete · 7 years ago
  3. 70bcaca Update make command for the new Jenkins file by You Wang · 7 years ago
  4. f9cb2f3 Update Jenkins file for the new build system by You Wang · 7 years ago
  5. fb96e92 Adding vagrant provider to the new build jenkins file by Luca Prete · 7 years ago
  6. 800abd7 Fixing jenkins file to remove the correct folder when the process fails by Luca Prete · 7 years ago
  7. 5abc553 Removing Virtualbox provider from Jenkinsfile by gopinath · 7 years ago
  8. 535769e Fixing new build system Jenkinsfile by Luca Prete · 7 years ago
  9. e2d51fd Adding new Jenkinsfile by Luca Prete · 7 years ago