Stop duplicate CI with Pull Request (#6265)
see also https://blog.travis-ci.com/2012-08-13-build-workflow-around-pull-requeststh-downstream
parent
9613c3238c
commit
8d6415d675
Loading…
Reference in new issue