You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
GitHub actions run the linters, normally a GH actions is triggered for each pull request. Not sure fi the CI needs to run the linters again if the GH actions already gave the results of linter.
The text was updated successfully, but these errors were encountered:
I would prefer to keep the ability to run the linters in Jenkins because it would preserve our ability to separate from GitHub (worst-case, hopefully never happens scenario).
GitHub actions run the linters, normally a GH actions is triggered for each pull request. Not sure fi the CI needs to run the linters again if the GH actions already gave the results of linter.
The text was updated successfully, but these errors were encountered: