build-support/bin/ci.sh wasn’t working for me because I had CXX set wrong. i could just fix that. but it does take a long time, while test_all was fairly quick.