Bump version and make master job

Move dockerhub image to prebuilt z3 (#3714) #537

Sign in to view logs

Triggered via push October 16, 2023 15:07

rv-jenkins

develop

Status Success

Total duration 47s

Artifacts –

develop.yml

on: push

Performace Tests