This will allow us to use the same pipeline for PRs
rebased onto 72183237ffb96384ffb6ced3ec4be89f4f5c7eaf
Pull-Request has been merged by pingou
This will allow us to use the same pipeline for PRs