diff options
| author | rhtenhove <rhtenhove@users.noreply.github.com> | 2022-07-04 14:32:48 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-04 14:32:48 -0400 |
| commit | 6c9c8fdc651e3c3376f3ba6590c49424be1844d7 (patch) | |
| tree | d656304dd91b8431c00c1cf8228dd83889042c5a /.github/workflows/ci.yml | |
| parent | 3e65e1a029c44b33a77ca04724335ee3ecd30e67 (diff) | |
| download | afl++-6c9c8fdc651e3c3376f3ba6590c49424be1844d7.tar.gz | |
check code formatting (#5)
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 906267a0..4ca76f2d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,9 +2,12 @@ name: CI on: push: - branches: [stable, dev] + branches: + - stable + - dev pull_request: - branches: [stable, dev] + branches: + - dev # No need for stable-pull-request, as that equals dev-push jobs: linux: |