diff --git a/Jenkinsfile b/Jenkinsfile index e0640e4..0da0b51 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -36,7 +36,7 @@ build('dmt_client', 'docker-host', finalHook) { sh 'make wc_xref' } runStage('dialyze') { - withWsCache("_build/dialyze/rebar3_21.3.8.4_plt") { + withWsCache("_build/dialyze/rebar3_23.0.1_plt") { sh 'make wc_dialyze' } }