Add linting to PRs from fork #2156
Description
PRs like #2155 are not getting linted.
The github workflow needs to be adjusted to also lint on PRs from a forked repo.
{{ message }}
PRs like #2155 are not getting linted.
The github workflow needs to be adjusted to also lint on PRs from a forked repo.