krzys-h
|
f4c4364f00
|
Jenkinsfile: prevent PRs to master
I just merged a PR to master by mistake. Whoops! Let's not let that happen again.
|
2017-05-29 21:08:54 +02:00 |
|
krzys-h
|
d54f880e5e
|
Jenkinsfile: Don't keep artifacts for old PR builds
|
2017-05-21 20:58:00 +02:00 |
|
krzys-h
|
4df6d98988
|
Jenkinsfile: Automatically clean workspace after building pull requests
|
2017-05-21 20:57:45 +02:00 |
|
krzys-h
|
b325c53316
|
Jenkinsfile: Update deprecated 'stage' syntax
|
2017-05-21 20:57:44 +02:00 |
|
krzys-h
|
3b99a62185
|
Jenkinsfile: Automatically discard old artifacts
|
2016-11-26 13:00:30 +01:00 |
|
krzys-h
|
cbd7b5b46a
|
Added Jenkinsfile
|
2016-05-27 19:05:26 +02:00 |