Previously, CI via Github Actions would be triggered multiple times per push if there is an open PR for the corresponding branch. When a developer pushes a new commit, the first run would be triggered by the push event, and the second run triggered by the pull_request event (because pushing new commits alters the pull request).
Description
Previously, CI via Github Actions would be triggered multiple times per push if there is an open PR for the corresponding branch. When a developer pushes a new commit, the first run would be triggered by the
pushevent, and the second run triggered by thepull_requestevent (because pushing new commits alters the pull request).Check List
Have you:
Added unit tests? N/A
Add cmprefimpl tests? (if appropriate?) N/A
Updated release notes? (if appropriate?) N/A
Related Issue
Benchmark Results