Stop duplicate CI with Pull Request (#6265)
see also https://blog.travis-ci.com/2012-08-13-build-workflow-around-pull-requestsmaster
parent
5276c0a090
commit
e6fd4bea35
Loading…
Reference in new issue