workflow should not only run on pull request

[ee7]

We should alter this to run on some kinds of push, for example to main and dev:

nimutils/.github/workflows/lint.yml

Lines 1 to 3 in eed75bb

	name: lint
	on: pull_request