krzys_h
|
491a77d9d5
|
Jenkinsfile: fix builds
Builds were broken since 079d5fc412 and nobody noticed...
|
2018-08-05 20:23:36 +02:00 |
|
krzys-h
|
079d5fc412
|
Jenkinsfile: switch to declarative pipeline
|
2018-05-16 15:23:41 +02:00 |
|
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 |