3 ms·
> The CI system runs Coq on my code and prevents me from merging it into the master branch if there is a mistake. How does one make Travis CI prevent a merge?
by Bromskloss 9y ago
> The CI system runs Coq on my code and prevents me from merging it into the master branch if there is a mistake.
How does one make Travis CI prevent a merge?
- curryhoward 9y agoBy making the master branch protected in GitHub and making the CI check for Travis required. Docs: https://help.github.com/articles/enabling-required-status-checks/ https://help.github.com/articles/enabling-required-status-ch...