Support linting even from the master branch

diffblue / 2ls

Static Analyzer and Verifier

http://www.cprover.org/2LS

Other

43 stars 22 forks source link

Closed FrNecas closed 2 years ago

FrNecas commented 2 years ago

The action would fail after a pull request is merged into master due to the git fetch command which refuses to fetch the current branch.

viktormalik commented 2 years ago

Or, alternatively, run the job for pull requests only.

FrNecas commented 2 years ago

I think running for push makes sense - you can easily see the style errors before opening a pull request. Lets ignore only pushes to master

FrNecas commented 2 years ago

Should be excluded now, tested on my fork (https://github.com/FrNecas/2ls)