diff --git a/Jenkinsfile b/Jenkinsfile index d73d3491e6..5626aed3f2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,7 +15,7 @@ pipeline { steps { deleteDir() checkout scm - sh 'mkdir -p /data/tmp && export TMPDIR=/data/tmp && export PATH="/data/.cargo/bin:$PATH" && ln -snf /data/.cargo /home/ubuntu/.cargo && make build-benchmarks && scripts/run_all_benchmarks.sh -s stateful-storage overhead' + sh 'mkdir -p /data/tmp && export TMPDIR=/data/tmp && export PATH="/data/.cargo/bin:$PATH" && ln -snf /data/.cargo /home/ubuntu/.cargo && make benchmarks' sh "git config user.email \"jenkins@frequency.xyz\"" sh "git config user.name \"Jenkins\"" sshagent(credentials: ['jenkins-2022-03-01']) {