53 Commits

Author	SHA1	Message	Date
/dev/urandom	a9c888d17b	Jenkinsfile: Do not use src subdirectory.	2016-09-13 01:34:31 +02:00
/dev/urandom	2ed39f714a	Jenkinsfile: Reuse SSH credentials through SSH agent (hopefully).	2016-09-13 00:40:34 +02:00
/dev/urandom	cb8087771b	Add Jenkinsfile.	2016-09-13 00:33:00 +02:00