From ebf962c0535fcc4f6d6a861287bb2ba4d22e4ada Mon Sep 17 00:00:00 2001 From: Rich Trott Date: Sat, 9 Jul 2022 04:59:42 -0700 Subject: [PATCH] build: enable GitPod prebuilds MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit PR-URL: https://github.com/nodejs/node/pull/43698 Reviewed-By: Matteo Collina Reviewed-By: Antoine du Hamel Reviewed-By: Michael Dawson Reviewed-By: Franziska Hinkelmann Reviewed-By: Michaƫl Zasso Reviewed-By: Danielle Adams Reviewed-By: Darshan Sen --- .gitignore | 1 + .gitpod.yml | 9 +++++++++ 2 files changed, 10 insertions(+) create mode 100644 .gitpod.yml diff --git a/.gitignore b/.gitignore index bc986b3c4c0659..6e58d14c32a1bc 100644 --- a/.gitignore +++ b/.gitignore @@ -19,6 +19,7 @@ !.github !.gitignore !.gitkeep +!.gitpod.yml !.mailmap !.nycrc !.yamllint.yaml diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 00000000000000..73e52c3aa2d51a --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,9 @@ +# 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