2022-07-09 19:59:42 +08:00
|
|
|
# Ref: https://github.com/gitpod-io/gitpod/issues/6283#issuecomment-1001043454
|
|
|
|
tasks:
|
|
|
|
- init: ./configure && timeout 50m make -j16 || true
|
2023-09-25 19:48:03 +08:00
|
|
|
- init: pnpm i -g @node-core/utils
|
2022-07-09 19:59:42 +08:00
|
|
|
|
|
|
|
# Ref: https://www.gitpod.io/docs/prebuilds#github-specific-configuration
|
|
|
|
github:
|
|
|
|
prebuilds:
|
2022-07-14 12:49:31 +08:00
|
|
|
# enable for pull requests coming from this repo (defaults to true)
|
|
|
|
pullRequests: false
|
|
|
|
# add a check to pull requests (defaults to true)
|
|
|
|
addCheck: false
|