5 Commits

Author	SHA1	Message	Date
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