diff --git a/.github/workflows/on_pr.yml b/.github/workflows/on_pr.yml index 5d190b9..5aec9b0 100644 --- a/.github/workflows/on_pr.yml +++ b/.github/workflows/on_pr.yml @@ -4,6 +4,7 @@ name: on PR on: pull_request: merge_group: + push: jobs: build1: