diff --git a/.github/workflows/examples.yml b/.github/workflows/examples.yml
index 917ad1e1a20..be95eec7a50 100644
--- 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
index 4894e28a1bb..39a51a32112 100644
--- 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