> The CI system runs Coq on my code and prevents me from merging it into the mas... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Bromskloss on Nov 26, 2017 \| parent \| context \| favorite \| on: My unusual hobby > 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 on Nov 26, 2017 [–]

By making the master branch protected in GitHub and making the CI check for Travis required. Docs: https://help.github.com/articles/enabling-required-status-ch...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact