Skip to content
Back to pull request #18912

github/workflows: use merge_group instead of push events. #854

Sign in to view logs

github/workflows: use merge_group instead of push events.

github/workflows: use merge_group instead of push events. #854

Run time

Learn about OS pricing on GitHub Actions
Job Run time
workflow_syntax
30s
upload_sarif
14s
44s