11 Commits

Author	SHA1	Message	Date
smlng	54c56f6c3c	Jenkins: add git-cache init before build	2017-01-24 16:08:03 +01:00
Cenk Gündoğan	155e35b6fd	jenkins: move retry+timeout out of groovy into shell	2017-01-24 15:12:30 +01:00
Cenk Gündoğan	1e67b7a57c	jenkins: use local RIOT mirror to speed up fetches	2017-01-21 13:30:28 +01:00
Cenk Gündoğan	b523808043	jenkins: timeout and retry blocked git fetch	2017-01-19 14:33:19 +01:00
Cenk Gündoğan	eff5f3429b	jenkins: remove extra githubNotify	2017-01-18 23:23:07 +01:00
Cenk Gündoğan	986fad3013	jenkins: exec static-tests on slave instead of master	2017-01-18 15:24:23 +01:00
Cenk Gündoğan	34ca5d2198	jenkins: ccache optimizations	2017-01-16 17:20:28 +01:00
Cenk Gündoğan	e40a271d0c	jenkins: delete workspace after build	2017-01-15 12:00:31 +01:00
Cenk Gündoğan	24c7b0861f	jenkins: propagate cause of failure to GitHub commit status	2017-01-13 10:36:27 +01:00
Cenk Gündoğan	5d46148c11	jenkins: use FAILURE instead of UNSTABLE for GitHub commit status	2017-01-12 21:50:35 +01:00
Cenk Gündoğan	1ac6937cf3	jenkins: add initial config	2017-01-12 19:27:16 +01:00