diff options
author | Diego Ismirlian <dismirlian@gmail.com> | 2019-10-02 15:31:37 -0300 |
---|---|---|
committer | Diego Ismirlian <dismirlian@gmail.com> | 2019-10-02 15:31:37 -0300 |
commit | d77e8fbd524e6c3ff67769623276419f7a8d14ba (patch) | |
tree | fd6ff77aae129045d1b1f9a5c90795fa53b7bc55 /Jenkinsfile | |
parent | ce48812834ed2835adc80da7fa6dc463d310774e (diff) | |
parent | 2cd41f99df0fc857afaef091ca3b984a728d0e3c (diff) | |
download | ChibiOS-Contrib-d77e8fbd524e6c3ff67769623276419f7a8d14ba.tar.gz ChibiOS-Contrib-d77e8fbd524e6c3ff67769623276419f7a8d14ba.tar.bz2 ChibiOS-Contrib-d77e8fbd524e6c3ff67769623276419f7a8d14ba.zip |
Merge branch 'master' into segger_systemview
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 +} |