diff options
| author | Nick Vatamaniuc <vatamane@gmail.com> | 2022-06-17 17:41:12 -0400 |
|---|---|---|
| committer | Nick Vatamaniuc <nickva@users.noreply.github.com> | 2022-06-17 18:59:17 -0400 |
| commit | 11eea624b18455b8b4a396912a0acccd65fa2af3 (patch) | |
| tree | 31734744fb864f203b82bdbf14af9efe2f1c7a5b | |
| parent | eb9884e95a9920110be7045f72d4e3e970df97f8 (diff) | |
| download | couchdb-11eea624b18455b8b4a396912a0acccd65fa2af3.tar.gz | |
Set low erlang version in Jenkins.pr to 23 instead of 20
| -rw-r--r-- | build-aux/Jenkinsfile.pr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/Jenkinsfile.pr b/build-aux/Jenkinsfile.pr index 3f2f60450..5b9b209e9 100644 --- a/build-aux/Jenkinsfile.pr +++ b/build-aux/Jenkinsfile.pr @@ -49,7 +49,7 @@ pipeline { // Search for ERLANG_VERSION // see https://issues.jenkins.io/browse/JENKINS-61047 for why this cannot // be done parametrically - LOW_ERLANG_VER = '20' + LOW_ERLANG_VER = '23' // erlfmt doesn't run with the lowest erlang version so we run it in a // separate stage with a higher erlang version. |