2022-08-01 04:45:56 +00:00
|
|
|
image:
|
2022-08-03 10:13:13 +00:00
|
|
|
file: .gitpod.Dockerfile
|
2022-07-29 07:19:54 +00:00
|
|
|
tasks:
|
|
|
|
- name: Setup
|
2023-10-31 17:05:48 +00:00
|
|
|
init: just setup
|
2022-07-29 07:19:54 +00:00
|
|
|
command: just dev
|
2023-10-31 17:05:48 +00:00
|
|
|
# github:
|
|
|
|
# prebuilds:
|
|
|
|
# # enable for the default branch (defaults to true)
|
|
|
|
# master: true
|
|
|
|
# # enable for all branches in this repo (defaults to false)
|
|
|
|
# branches: false
|
|
|
|
# # enable for pull requests coming from this repo (defaults to true)
|
|
|
|
# pullRequests: false
|
|
|
|
# # add a check to pull requests (defaults to true)
|
|
|
|
# addCheck: true
|
|
|
|
# # add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
|
|
|
|
# addComment: false
|