.gitpod.yml

# http://gitpod.io/#github.com/gnolang/gno

tasks:
  - name: Gno Shell
    before: cd ./examples/
    init: |
      (
        set -xe
        cd ..
        echo "install developer tools"
        (cd misc/devdeps && make install)
        echo "download dependencies"
        go mod download
        go install ./gnovm/cmd/gno
        echo "Deps installed."
      )
    command: gno --help

  - name: Gnoland Node
    before: cd ./gno.land/
    init: go install ./cmd/gnoland
    command: gnoland start

  - name: Gnoland Website
    before: cd ./gno.land/
    init: go install ./cmd/gnoweb
    command: gnoweb --bind=0.0.0.0:8888

  #- name: faucet
  #  ...

ports:
  - name: gnoweb
    description: "the gno.land web server"
    port: 8888
    onOpen: open-preview

  - name: "gnoland RPC"
    description: "the RPC server, managed by tendermint2"
    port: 26657
    onOpen: notify

github:
  prebuilds:
    master: true
    branches: false
    pullRequests: false
    pullRequestsFromForks: false
    addCheck: false
    addComment: false
    addBadge: false