ci: use ctest#8439

joseph-isaacs wants to merge 1 commit into

developvortex-data/vortex:developfrom

ji/clean-rust-intruvortex-data/vortex:ji/clean-rust-intruCopy head branch name to clipboard