From 73e59fbbc5f2d90f62562f0b9025e6cb6f2d23c5 Mon Sep 17 00:00:00 2001 From: Manfred Touron <94029+moul@users.noreply.github.com> Date: Thu, 27 Jul 2023 22:24:52 +0200 Subject: [PATCH] chore: update gitpod configuration (#987) --- .gitpod.yml | 56 ++++++++++++++++++++++++++++++++++++++--------------- 1 file changed, 40 insertions(+), 16 deletions(-) diff --git a/.gitpod.yml b/.gitpod.yml index cd9f1f0bdc6..794108f4613 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -1,27 +1,51 @@ -# This configuration file was automatically generated by Gitpod. -# Please adjust to your needs (see https://www.gitpod.io/docs/config-gitpod-file) -# and commit this file to your remote git repository to share the goodness with others. +# http://gitpod.io/#github.com/gnolang/gno tasks: - - name: Dev Shell - init: > - echo "install developer tools" && - (cd misc/devdeps && make install) && - echo "download dependencies" && - go mod download && - go install ./gnovm/cmd/gno + - 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 - init: go install ./gno.land/cmd/gnoweb + before: cd ./gno.land/ + init: go install ./cmd/gnoweb command: gnoweb --bind=0.0.0.0:8888 - - name: Gnoland Node - init: go install ./gno.land/cmd/gnoland - command: gnoland start + #- name: faucet + # ... ports: - - port: 8888 + - name: gnoweb + description: "the Gno.land web server" + port: 8888 onOpen: open-preview - - port: 36657 + + - name: "gnoland RPC" + description: "the RPC server, managed by tendermint2" + port: 36657 onOpen: notify + +github: + prebuilds: + master: true + branches: false + pullRequests: false + pullRequestsFromForks: false + addCheck: false + addComment: false + addBadge: false