diff options
Diffstat (limited to 'build-aux/Jenkinsfile.pr')
| -rw-r--r-- | build-aux/Jenkinsfile.pr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/Jenkinsfile.pr b/build-aux/Jenkinsfile.pr index cf287b225..2630b308b 100644 --- a/build-aux/Jenkinsfile.pr +++ b/build-aux/Jenkinsfile.pr @@ -49,8 +49,8 @@ pipeline { // Also be sure to change these values in the matrix below... // see https://issues.jenkins-ci.org/browse/JENKINS-40986 LOW_ERLANG_VER = '20.3.8.11' - MID_ERLANG_VER = '20.3.8.24' - HIGH_ERLANG_VER = '22.2' + MID_ERLANG_VER = '20.3.8.25' + HIGH_ERLANG_VER = '22.2.3' } options { |