Closed jparise closed 2 years ago
These were identical, so we don't need separate pipelines for push and pull_request events.
These were identical, so we don't need separate pipelines for push and pull_request events.