chore(examples): rm inexistent dir in make lint targets; use make in ci

[n0izn0iz]

Currently cd examples && make lint fails because gno.land/r/gov does not exists. This PR removes gno.land/r/gov from the targets and refactor the CI to run the make rule

Before

❯ cd examples && make lint
go run ../gnovm/cmd/gno lint ./gno.land/p ./gno.land/r/demo ./gno.land/r/gnoland ./gno.land/r/sys ./gno.land/r/gov
list packages from args: invalid file or package path: stat ./gno.land/r/gov: no such file or directory
exit status 1
make: *** [lint] Error 1

After

❯ cd examples && make lint
go run ../gnovm/cmd/gno lint ./gno.land/p ./gno.land/r/demo ./gno.land/r/gnoland ./gno.land/r/sys

Contributors' checklist...

• Added new tests, or not needed, or not feasible
• Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
• Updated the official documentation or not needed
• No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
• Added references to related issues and PRs
• Provided any useful hints for running manual tests
• Added new benchmarks to generated graphs, if any. More info here.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 48.44%. Comparing base (88b9aa3) to head (3cf8518).
Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #2034   +/-   ##
=======================================
  Coverage   48.44%   48.44%           
=======================================
  Files         409      409           
  Lines       61967    61967           
=======================================
  Hits        30019    30019           
  Misses      29448    29448           
  Partials     2500     2500           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.