diff options
Diffstat (limited to '.github/workflows/ci_publish.yml')
| -rw-r--r-- | .github/workflows/ci_publish.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/ci_publish.yml b/.github/workflows/ci_publish.yml index 94ea5ff8f..90a3438a7 100644 --- a/.github/workflows/ci_publish.yml +++ b/.github/workflows/ci_publish.yml @@ -1,13 +1,13 @@ name: Tracking orc-booting compiler memory usage on: - push: - branches: - - devel + pull_request: + types: [closed] jobs: build: + if: github.event.pull_request.merged == true strategy: fail-fast: false matrix: |