1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Commit Graph

7 Commits

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