CI only works with clean build

Currently the CI is only working if we use a clean build at each step of the process. This is probably not ideal, and probably to do with how we are installing cmake or catch2