Fix incremental prebuilds in Gitpod

4 jobs for !2229 with wvffle/fix-gitpod-incremental-prebuilds in 6 minutes and 1 second (queued for 6 minutes and 16 seconds)
merge request