Prevent duplicate workflow runs for both push and pull_request events (if they both are triggered) #31

Closed keevan closed 2 years ago