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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-main	14m 3s
build-slim (gnoland-slim)	8m 27s
build-slim (gnokey-slim)	8m 40s
build-slim (gno-slim)	8m 37s
build-slim (gnofaucet-slim)	5m 59s
build-slim (gnoweb-slim)	8m 46s
	54m 32s