diff options
| author | NeroBurner <pyro4hell@gmail.com> | 2021-09-10 21:42:49 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-10 21:42:49 (GMT) |
| commit | 3cc00771fa6528433b2ec4d787dc6bfefd948390 (patch) | |
| tree | 80ca28f3a4e1b7244808d09b0aeb4b2e81e56bd6 /.gitconfig | |
| 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 '.gitconfig')
0 files changed, 0 insertions, 0 deletions