1. 56155c1 jenkins.sh: output all test logs when 'make check' failed by Neels Hofmeyr · 8 years ago
  2. 7002975 jenkins: Enable tracing and error handling in bash by Holger Hans Peter Freyther · 8 years ago
  3. d163218 jenkins: Add build script used by jenkins on our public CI by Holger Hans Peter Freyther · 8 years ago