Merge branch 'master' into fix/2041

gnolang · May 6, 2024 · 5fbd287 · 5fbd287
2 parents b5f52b3 + 4809582
commit 5fbd287
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml
@@ -73,13 +73,8 @@ jobs:
       - uses: actions/setup-go@v5
         with:
           go-version: ${{ matrix.goversion }}
-      - run: go install -v ./gnovm/cmd/gno
       # testing official directories, basically examples/ minus examples/.../x/.
-      - run: go run ./gnovm/cmd/gno lint -v ./examples/gno.land/p
-      - run: go run ./gnovm/cmd/gno lint -v ./examples/gno.land/r/demo
-      - run: go run ./gnovm/cmd/gno lint -v ./examples/gno.land/r/gnoland
-      - run: go run ./gnovm/cmd/gno lint -v ./examples/gno.land/r/sys
-      # - run: go run ./gnovm/cmd/gno lint -v ./examples/gno.land/r/gov
+      - run: make lint -C ./examples
       # TODO: consider running lint on every other directories, maybe in "warning" mode?
     # TODO: track coverage
   mod-tidy:

diff --git a/examples/Makefile b/examples/Makefile
@@ -27,7 +27,6 @@ OFFICIAL_PACKAGES = ./gno.land/p
 OFFICIAL_PACKAGES += ./gno.land/r/demo
 OFFICIAL_PACKAGES += ./gno.land/r/gnoland
 OFFICIAL_PACKAGES += ./gno.land/r/sys
-OFFICIAL_PACKAGES += ./gno.land/r/gov
 
 ########################################
 # Dev tools