The source project of this merge request has been removed.
Fix CI manifest w.r.t. caching of build directory
Since the CI directory is cached, we need to make sure we create it if necessary instead of failing.
Since the CI directory is cached, we need to make sure we create it if necessary instead of failing.