add github prebuild specs to gitpod

This commit is contained in:
Krishna Vedala
2020-06-09 19:43:56 -04:00
parent de118604f2
commit d95d24d171

View File

@@ -1,9 +1,17 @@
image:
file: .gitpod.dockerfile
github:
prebuilds:
addBadge: true
addComment: true
addCheck: false
master: true
pullRequestsFromForks: true
vscode:
extensions:
- ms-vscode.cpptools@0.28.3:mjRj37VUK0nY2ZeDXzxOJA==
- twxs.cmake@0.0.17:9s7m9CWOr6i6NZ7CNNF4kw==
- ms-vscode.cmake-tools@1.4.0:eP3hU/MFme+CcSL21Klk1w==
- mhutchie.git-graph@1.23.0:TM9ShNmBn94aUJMJusCJlg==
- mhutchie.git-graph@1.23.0:TM9ShNmBn94aUJMJusCJlg==