diff options
| author | Florian Zschocke <f.zschocke+git@gmail.com> | 2022-10-27 23:33:30 +0200 |
|---|---|---|
| committer | Florian Zschocke <f.zschocke+git@gmail.com> | 2022-10-27 23:33:30 +0200 |
| commit | 72bcabfd11fc6a835b6108cce26167ce1e542854 (patch) | |
| tree | b928894848dea5fd7f6293e25e92636cb732bc1e | |
| parent | 7a2c589d54f9bf4e810e123e629f1c1f32ee6d00 (diff) | |
| download | gitblit-72bcabfd11fc6a835b6108cce26167ce1e542854.tar.gz gitblit-72bcabfd11fc6a835b6108cce26167ce1e542854.zip | |
ci: Build pull requests, too
Build pull requests, just like we build on every push.
| -rw-r--r-- | .github/workflows/ci-build.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/ci-build.yml b/.github/workflows/ci-build.yml index 1b1b4844..2bbd2af5 100644 --- a/.github/workflows/ci-build.yml +++ b/.github/workflows/ci-build.yml @@ -1,10 +1,14 @@ -name: Continous build on every push +name: Continous integration on: push: branches-ignore: - 'release*' - gh-pages + pull_request: + branches-ignore: + - 'release*' + - gh-pages jobs: build_linux: |