Fix and small tweaks to CI

Author: zbeekman

.github/workflows/ci.yml

@@ -27,6 +27,6 @@ jobs:
         cmake -S . -B build -Wdev -DCMAKE_INSTALL_PREFIX:PATH="${HOME}/OpenCoarrays" -DCMAKE_BUILD_TYPE:STRING="Debug" ..
         cmake --build build -j $(nproc)
         cmake --build build -t install -j $(nproc) || echo "installation failed"
-        ctest --output-on-failure --schedule-random --repeat-until-fail 1 --timeout 200
-        make install
+        ctest --test-dir build --output-on-failure --schedule-random --repeat-until-fail 1 --timeout 200
+        cd build
         make uninstall

.github/workflows/win-ci.yml

@@ -54,9 +54,7 @@ jobs:
         cmake -Wdev -G "Unix Makefiles" -S . -B build -DCMAKE_INSTALL_PREFIX="${HOME}/apps/OpenCoarrays" -DCMAKE_BUILD_TYPE:STRING="Debug"
         cmake --build build -j
         cmake --build build -t install -j || echo "installation failed"
-        cd build
-        ctest --output-on-failure --schedule-random --repeat-until-fail 1 --timeout 200
-        cd ..
+        ctest --test-dir build --output-on-failure --schedule-random --repeat-until-fail 1 --timeout 200
         echo "${HOME}/apps/OpenCoarrays/bin" >> $GITHUB_PATH
         export PATH="${HOME}/apps/OpenCoarrays/bin:${PATH}"
         which caf || true