Mike Bonnet d80316ebf2 Make pipeline job options consistent ...

Set a consistent set of options on Jenkins pipeline jobs. This includes timestamps,
reasonable timeouts, saving only the last 10 builds (to avoid filling up the disk
of the Jenkins master), disabling concurrent builds (to avoid hitting quota limits),
and skipping the default checkout (all jobs that need the source call checkout()
explicitly).

2019-05-16 12:22:47 -07:00

..

koji

Make pipeline job options consistent

2019-05-16 12:22:47 -07:00