mirror of
https://github.com/nodejs/node.git
synced 2024-11-21 10:59:27 +00:00
8e9cab7168
PR-URL: https://github.com/nodejs/node/pull/47442 Reviewed-By: Rich Trott <rtrott@gmail.com> Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
13 lines
443 B
YAML
13 lines
443 B
YAML
# 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
|