krzys-h
|
92a8140b77
|
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:09:50 +02:00 |
|
krzys-h
|
44d18b77be
|
Jenkinsfile: Don't keep artifacts for old PR builds
|
2017-05-21 20:59:43 +02:00 |
|
krzys-h
|
92eb202d5d
|
Jenkinsfile: Automatically clean workspace after building pull requests
|
2017-05-21 20:59:30 +02:00 |
|
krzys-h
|
4bb05b32f5
|
Jenkinsfile: Update deprecated 'stage' syntax
|
2017-05-21 20:59:00 +02:00 |
|
krzys-h
|
be9dba4788
|
Jenkinsfile: Automatically discard old artifacts
|
2016-11-26 13:01:43 +01:00 |
|
krzys-h
|
9feea63086
|
Jenkinsfile: change RPATH to current directory
|
2016-05-28 11:09:12 +02:00 |
|
krzys-h
|
2bebd0e87f
|
Jenkinsfile: don't add runtime information on install in linux builds
|
2016-05-28 10:46:26 +02:00 |
|
krzys-h
|
261b26c8e9
|
Added Jenkinsfile
|
2016-05-27 18:30:56 +02:00 |