diff options
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 +} |