build: enable GitPod prebuilds

PR-URL: #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>

.gitignore

@@ -19,6 +19,7 @@
 !.github
 !.gitignore
 !.gitkeep
+!.gitpod.yml
 !.mailmap
 !.nycrc
 !.yamllint.yaml

.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