avoid duplicated downloads in CI by caching files / aligned PCRE and Z3 versions in dev and release builds - #3612

Merged

danmar merged 7 commits into

cppcheck-opensource:mainfrom

firewave:ci-download-cache

Jan 4, 2022

Commits on Dec 15, 2021

moved PCRE and Z3 versions into global environment
firewave
committed
ff23c43
moved PCRE and Z3 downloads into separate steps
firewave
committed
c562b6f
made sure architecture is in Z3 archive name
firewave
committed
e5ab62c
CI-windows.yml: bumped version, updated mirror and re-enabled installation of PCRE
firewave
committed
c20f5dc
release-windows.yml: bumped Z3 version to 4.8.10 to match one used in development builds
firewave
committed
a0bd7d7
CI-windows.yml: avoid unnecessary steps in x86 GUI builds which do nothing
firewave
committed
85ccfe2
avoid duplicated downloads of Z3 and PCRE archives in CI by caching them
firewave
committed
e30290a