diff options
| author | van Hauser <vh@thc.org> | 2024-02-08 14:51:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-08 14:51:13 +0100 |
| commit | 48070e0148699fbd96dc9f4e5950565498d4ad43 (patch) | |
| tree | df6d533f841779a80b0160b57fdbff9337ae015b /.github/workflows | |
| parent | c23bbddde97d81fdb27351bade8f74fe71e49c21 (diff) | |
| parent | 698f1e272b8738cd1145ed687861fa5664f14c9b (diff) | |
| download | afl++-48070e0148699fbd96dc9f4e5950565498d4ad43.tar.gz | |
Merge branch '420' into dev
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ed382fbb..dd0d13e9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,7 @@ on: branches: - stable - dev + - 420 pull_request: branches: - dev # No need for stable-pull-request, as that equals dev-push |