blob: b674e800f4c01543d13e292a8dfd1442e5ea8497 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
# 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
|