feat: check Makefile on CI

Signed-off-by: Norman Meier <norman@samourai.coop>
gnolang · May 6, 2024 · 3cf8518 · 3cf8518
1 parent c1fc120
commit 3cf8518
Showing 1 changed file with 1 addition and 6 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: