Draft: Fixes to rewritten CI/CD pipeline
When put to the test, it turned out that the rewritten CI/CD pipeline still contained a number of errors. This new MR tries to address these.
When put to the test, it turned out that the rewritten CI/CD pipeline still contained a number of errors. This new MR tries to address these.