Closed edmundnoble closed 8 months ago
Not sure why we used push:, but we do less CI overall if we use pull_request: and it seems to work better with merge queue.
Not sure why we used push:, but we do less CI overall if we use pull_request: and it seems to work better with merge queue.