diff options
| author | Diego Ismirlian <dismirlian@gmail.com> | 2019-10-02 11:38:05 -0300 |
|---|---|---|
| committer | Diego Ismirlian <dismirlian@gmail.com> | 2019-10-02 11:38:05 -0300 |
| commit | 6f817a029807c07668d41b33faa3512df129710a (patch) | |
| tree | 9502da2e070e245b51af4ed51b8c681fe13df416 /Jenkinsfile | |
| parent | d685cfd0c27252b77fe3cb5416d3921f37033e81 (diff) | |
| parent | 51910c3551c2a4232ba3defcef063e2f745f925a (diff) | |
| download | ChibiOS-Contrib-6f817a029807c07668d41b33faa3512df129710a.tar.gz ChibiOS-Contrib-6f817a029807c07668d41b33faa3512df129710a.tar.bz2 ChibiOS-Contrib-6f817a029807c07668d41b33faa3512df129710a.zip | |
Merge branch 'master' of https://github.com/ChibiOS/ChibiOS-Contrib
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 6ed3b22..c193551 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -133,7 +133,7 @@ export CHC_PATH=$WORKSPACE } } environment { - CH_BRANCH = 'stable_18.2.x' + CH_BRANCH = 'stable_19.1.x' CH_PATH = 'ChibiOS' } -}
\ No newline at end of file +} |