This PR improves the CI testing with Jenkins and Spack. Mostly, we move away from dev-build + build-env to just using dev-build itself, simplifying the pipeline. Moreover, the testing is now more robust and uses --fresh builds everywhere (less relying on the current state of the Spack installs in Jenkins).
This PR improves the CI testing with Jenkins and Spack. Mostly, we move away from dev-build + build-env to just using dev-build itself, simplifying the pipeline. Moreover, the testing is now more robust and uses
--freshbuilds everywhere (less relying on the current state of the Spack installs in Jenkins).