chore: use ci gno

Signed-off-by: Norman Meier <[email protected]>
TERITORI · Jul 4, 2024 · a8e21d9 · a8e21d9
1 parent 635ed07
commit a8e21d9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/gno-lint.yml b/.github/workflows/gno-lint.yml
@@ -28,7 +28,7 @@ jobs:
       - name: Lint gno
         run: make lint-gno
 
-      - name: Check tidy
+      - name: gno mod tidy
         run: make gno-mod-tidy
 
       - name: Check that there is no diff

diff --git a/Makefile b/Makefile
@@ -424,11 +424,6 @@ install-gno: node_modules
 start.gnodev-e2e:
 	gnodev --unsafe-api --server-mode --add-account g193vp9tjhfpldvgg3gn433ayv8pn7rtfv8shyeq $$(find gno -name gno.mod -type f -exec dirname {} \;)
 
-.PHONY: gno-mod-tidy
-gno-mod-tidy:
-	find gno -name gno.mod -type f -exec sh -c 'cd $$(dirname {}); gno mod tidy' \;
-
-
 .PHONY: clone-gno
 clone-gno:
 	mkdir -p gnobuild
@@ -447,6 +442,11 @@ lint-gno:
 test-gno:
 	./gnobuild/gno/gnovm/build/gno test ./gno/... -v
 
+.PHONY: gno-mod-tidy
+gno-mod-tidy:
+	gno=$$(pwd)/gnobuild/gno/gnovm/build/gno \
+	find gno -name gno.mod -type f -exec sh -c 'cd $$(dirname {}); $$gno mod tidy' \;
+
 .PHONY: clean-gno
 clean-gno:
 	rm -rf gnobuild