| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
1 parent 80ced1a commit ebf962c
2 files changed
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -19,6 +19,7 @@ | |||
| 19 | 19 | !.github | |
| 20 | 20 | !.gitignore | |
| 21 | 21 | !.gitkeep | |
| 22 | + !.gitpod.yml | ||
| 22 | 23 | !.mailmap | |
| 23 | 24 | !.nycrc | |
| 24 | 25 | !.yamllint.yaml | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -0,0 +1,9 @@ | |||
| 1 | + # Ref: https://github.com/gitpod-io/gitpod/issues/6283#issuecomment-1001043454 | ||
| 2 | + tasks: | ||
| 3 | + - init: ./configure && timeout 50m make -j16 || true | ||
| 4 | + | ||
| 5 | + # Ref: https://www.gitpod.io/docs/prebuilds#github-specific-configuration | ||
| 6 | + github: | ||
| 7 | + prebuilds: | ||
| 8 | + # add a "Review in Gitpod" button as a comment to pull requests (defaults to true) | ||
| 9 | + addComment: false | ||
| Back | FazBrowse Home | New Git URL |
0 commit comments