# Ref: https://github.com/gitpod-io/gitpod/issues/6283#issuecomment-1001043454 tasks: - init: ./configure && timeout 50m make -j16 || true - init: pnpm i -g node-core-utils # Ref: https://www.gitpod.io/docs/prebuilds#github-specific-configuration github: prebuilds: # enable for pull requests coming from this repo (defaults to true) pullRequests: false # add a check to pull requests (defaults to true) addCheck: false