diff options
author | Nick Vatamaniuc <vatamane@apache.org> | 2022-06-18 23:04:17 -0400 |
---|---|---|
committer | Nick Vatamaniuc <nickva@users.noreply.github.com> | 2022-06-20 14:04:24 -0400 |
commit | 52ef641f1b38e001455c467efff8d2843fa71622 (patch) | |
tree | 3d18bc18771507f441077445bd352c015d5fd2d3 | |
parent | 19d2f9b690ff38e485d6b53336d83d50dd9f2ae1 (diff) | |
download | couchdb-52ef641f1b38e001455c467efff8d2843fa71622.tar.gz |
Fix full CI build
We had to set spidermonkey to 78 in the PR CI builds so do the same
for full builds.
-rw-r--r-- | build-aux/Jenkinsfile.full | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/build-aux/Jenkinsfile.full b/build-aux/Jenkinsfile.full index 4c9c531d5..de3aa0247 100644 --- a/build-aux/Jenkinsfile.full +++ b/build-aux/Jenkinsfile.full @@ -267,14 +267,10 @@ pipeline { registryCredentialsId 'dockerhub_creds' } } - environment { - // TODO find a way to avoid setting this explicitly - spidermonkey = '60' - } steps { timeout(time: 15, unit: "MINUTES") { sh (script: 'rm -rf apache-couchdb-*', label: 'Clean workspace of any previous release artifacts' ) - sh "./configure --spidermonkey-version ${spidermonkey}" + sh "./configure --spidermonkey-version 78" sh 'make erlfmt-check' sh 'make elixir-check-formatted' sh 'make dist' |