diff options
author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-10-01 15:23:45 +0200 |
---|---|---|
committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-10-02 10:47:02 +0200 |
commit | a0bd333cd2a6c4fabdd4daa98aa398f48ed9e9fc (patch) | |
tree | 326f10159757e7a3e04a2364f44b316667269c4d /Jenkinsfile | |
parent | 8a0095ecd93309d011877f3cc8185a034d941b26 (diff) | |
download | ChibiOS-Contrib-a0bd333cd2a6c4fabdd4daa98aa398f48ed9e9fc.tar.gz ChibiOS-Contrib-a0bd333cd2a6c4fabdd4daa98aa398f48ed9e9fc.tar.bz2 ChibiOS-Contrib-a0bd333cd2a6c4fabdd4daa98aa398f48ed9e9fc.zip |
Jenkins to use 19.1.x
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 +} |