chore: add prebuilds for Gitpod

2025-05-29 22:37:44 +02:00 · 2021-04-20 03:31:43 +00:00
parent b0a608c1fa
commit 039f4d172b
2 changed files with 233 additions and 13 deletions
--- a/.gitpod.yml
+++ b/.gitpod.yml
@ -15,3 +15,13 @@ ports:

  - port: 1080
    onOpen: 'notify'
+
+github:
+  prebuilds:
+    master: true
+    branches: true
+    pullRequests: true
+    pullRequestsFromForks: true
+    addComment: true
+    addBadge: false
+    addLabel: 'prebuilt-in-gitpod'