mirror of
https://github.com/InfiniTimeOrg/InfiniTime.git
synced 2024-12-19 15:51:59 +03:00
3cc00771fa
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. |
||
---|---|---|
.. | ||
main.yml |