diff options
author | NeroBurner <pyro4hell@gmail.com> | 2021-09-10 23:42:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-10 23:42:49 +0200 |
commit | 3cc00771fa6528433b2ec4d787dc6bfefd948390 (patch) | |
tree | 80ca28f3a4e1b7244808d09b0aeb4b2e81e56bd6 /.github/workflows | |
parent | 6f9f0e8b0e42a5526d47ca664534fb6b0ccb6ace (diff) |
Run CI on master and develop branch
The documentation https://github.com/JF002/InfiniTime/blob/develop/doc/contribute.md#how-to-submit-a-pull-request-
tells us to make pull requests against `develop` branch.
Update the CI to run on those pull requests to have a check if the PR breaks something unintentionally.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/main.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 4744eaef..bd24359a 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -9,13 +9,13 @@ name: Build PineTime Firmware # When to run this Workflow... on: - # Run this Workflow when files are updated (Pushed) in the "master" Branch + # Run this Workflow when files are updated (Pushed) in the "master" and "develop" Branch push: - branches: [ master ] + branches: [ master, develop ] - # Also run this Workflow when a Pull Request is created or updated in the "master" Branch + # Also run this Workflow when a Pull Request is created or updated in the "master" and "develop" Branch pull_request: - branches: [ master ] + branches: [ master, develop ] # Steps to run for the Workflow jobs: |