3 Commits

Author SHA1 Message Date
Jim Klimov
e7440779a4 Problem: Jenkinsfile timeouts expire 2017-12-07 03:28:14 +01:00
Jim Klimov
e201985ad3 Problem: Jenkinsfile does not use DISTCHECK_CONFIGURE_FLAGS 2017-12-07 02:43:26 +01:00
Jim Klimov
f90dbe08bb Introduce Jenkinsfile 2017-12-01 02:02:23 +01:00