diff options
| author | ringabout <43030857+ringabout@users.noreply.github.com> | 2022-08-10 03:47:19 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-09 15:47:19 -0400 |
| commit | 5a502d78841539ad993ea52fb3d683ba8648ebf3 (patch) | |
| tree | a2455672d42b6b62021925f1d0bd6f93e5f8c0f4 /.github | |
| parent | ec2bc2a50e268bb08903f1cf83631d93caa34c8f (diff) | |
| download | Nim-5a502d78841539ad993ea52fb3d683ba8648ebf3.tar.gz | |
help our poor CI; don't run CI on other branches for push (#20184)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci_packages.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/ci_packages.yml b/.github/workflows/ci_packages.yml index a939936b6..2efbb628f 100644 --- a/.github/workflows/ci_packages.yml +++ b/.github/workflows/ci_packages.yml @@ -1,5 +1,9 @@ name: Packages CI -on: [push, pull_request] +on: + pull_request: + push: + branches: + devel jobs: build: |