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 46c5e47a0..4f8c281f2 100644 --- a/build-aux/Jenkinsfile.pr +++ b/build-aux/Jenkinsfile.pr @@ -50,7 +50,7 @@ pipeline { // Search for ERLANG_VERSION // see https://issues.jenkins.io/browse/JENKINS-61047 for why this cannot // be done parametrically - LOW_ERLANG_VER = '23.3.4.18' + LOW_ERLANG_VER = '24.3.4.10' } options { @@ -247,7 +247,7 @@ pipeline { axes { axis { name 'ERLANG_VERSION' - values '23.3.4.18', '24.3.4.10', '25.3' + values '24.3.4.10', '25.3' } axis { name 'SM_VSN' |