tests: Fix CI builds when PRESSURE_VESSEL_DOWNLOAD_URL is unset
/cc @denittis FYI, but I'll merge unreviewed if successful
Edited by Simon McVittie
/cc @denittis FYI, but I'll merge unreviewed if successful
added To Test label
removed To Test label
marked this merge request as ready
merged
mentioned in commit c301f8eb