Prevent duplicate lint workflows #10
Description
Right now when you push changes to an open PR it will run duplicate lint workflows both for pull_request and push events.
We should somehow stop this from happening.
{{ message }}
Right now when you push changes to an open PR it will run duplicate lint workflows both for pull_request and push events.
We should somehow stop this from happening.