2021-03-10 16:13:35 +00:00
|
|
|
image:
|
|
|
|
file: .gitpod/Dockerfile
|
|
|
|
|
|
|
|
# See: https://www.gitpod.io/docs/config-start-tasks/
|
|
|
|
tasks:
|
|
|
|
- before: >
|
|
|
|
mkdir -p /workspace/opt-pulumi &&
|
2021-12-15 20:32:41 +00:00
|
|
|
sudo ln -s /workspace/opt-pulumi $HOME/.pulumi-dev
|
2021-03-10 16:13:35 +00:00
|
|
|
init: >
|
|
|
|
make ensure &&
|
|
|
|
make install
|
|
|
|
command: pulumi version
|
|
|
|
|
|
|
|
# See: https://www.gitpod.io/docs/prebuilds/#configure-the-github-app
|
|
|
|
github:
|
|
|
|
prebuilds:
|
|
|
|
master: true
|
|
|
|
branches: true
|
|
|
|
pullRequests: true
|
|
|
|
pullRequestsFromForks: true
|
|
|
|
addCheck: true
|