mirror of
https://github.com/nodejs/node.git
synced 2024-11-21 10:59:27 +00:00
d4b1c2396e
PR-URL: https://github.com/nodejs/node/pull/43698 Reviewed-By: Matteo Collina <matteo.collina@gmail.com> Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com> Reviewed-By: Michael Dawson <midawson@redhat.com> Reviewed-By: Franziska Hinkelmann <franziska.hinkelmann@gmail.com> Reviewed-By: Michaël Zasso <targos@protonmail.com> Reviewed-By: Danielle Adams <adamzdanielle@gmail.com> Reviewed-By: Darshan Sen <raisinten@gmail.com>
10 lines
346 B
YAML
10 lines
346 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:
|
|
# add a "Review in Gitpod" button as a comment to pull requests (defaults to true)
|
|
addComment: false
|