diff options
| author | flywind <43030857+xflywind@users.noreply.github.com> | 2022-07-12 09:05:50 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-12 09:05:50 +0800 |
| commit | d0bae989d63f91345cd0991e00502c05d18dbf6b (patch) | |
| tree | b798eca69a37a5d91d1ba2119d3c91a02941d9ac /.github/workflows/ci_publish.yml | |
| parent | cf1c14936670ef0c175149f6fba4dffc1cf4ba43 (diff) | |
| download | Nim-d0bae989d63f91345cd0991e00502c05d18dbf6b.tar.gz | |
fix github script failure (#20006)
* yaml * pub * redo * let's comment * now action * newly * code name * build * ready * remove submodule * build * modify name * fix * rephrase * trigger when PR is merged * fix CI failure
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: |