2019-09-28 01:01:34 +02:00
|
|
|
image:
|
2019-09-28 02:54:42 +02:00
|
|
|
file: .gitpod.Dockerfile
|
2019-09-28 03:09:21 +02:00
|
|
|
tasks:
|
2019-09-28 03:18:00 +02:00
|
|
|
- init: cargo build
|
2019-09-28 03:18:55 +02:00
|
|
|
command: cargo run
|
2019-09-28 04:46:04 +02:00
|
|
|
github:
|
|
|
|
|
prebuilds:
|
|
|
|
|
# enable for the master/default branch (defaults to true)
|
|
|
|
|
master: true
|
|
|
|
|
# enable for all branches in this repo (defaults to false)
|
|
|
|
|
branches: true
|
|
|
|
|
# enable for pull requests coming from this repo (defaults to true)
|
|
|
|
|
pullRequests: true
|
|
|
|
|
# enable for pull requests coming from forks (defaults to false)
|
|
|
|
|
pullRequestsFromForks: true
|
|
|
|
|
# add a "Review in Gitpod" button as a comment to pull requests (defaults to true)
|
|
|
|
|
addComment: true
|
|
|
|
|
# add a "Review in Gitpod" button to pull requests (defaults to false)
|
|
|
|
|
addBadge: false
|
|
|
|
|
# add a label once the prebuild is ready to pull requests (defaults to false)
|
|
|
|
|
addLabel: prebuilt-in-gitpod
|
