Merge pull request #14200 from Mic92/less-ci-builds

only build on push to master
This commit is contained in:
Sergei Zimmerman
2025-10-09 15:07:06 +00:00
committed by GitHub

View File

@@ -4,6 +4,8 @@ on:
pull_request:
merge_group:
push:
branches:
- master
workflow_dispatch:
inputs:
dogfood: