mirror of
https://github.com/nodejs/node.git
synced 2024-11-21 10:59:27 +00:00
cabf429b1e
Disable prebuilds for pull requests. addComment now defaults to false so we don't need to set it anymore. Refs: https://github.com/nodejs/node/pull/43789#issuecomment-1182875886 Refs: https://www.gitpod.io/docs/prebuilds#github-specific-configuration PR-URL: https://github.com/nodejs/node/pull/43829 Reviewed-By: Richard Lau <rlau@redhat.com> Reviewed-By: Darshan Sen <raisinten@gmail.com>
12 lines
407 B
YAML
12 lines
407 B
YAML
# Ref: https://github.com/gitpod-io/gitpod/issues/6283#issuecomment-1001043454
|
|
tasks:
|
|
- init: ./configure && timeout 50m make -j16 || true
|
|
|
|
# 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
|