Yamagishi Kazutoshi e6fd4bea35 Stop duplicate CI with Pull Request (#6265) ...

see also https://blog.travis-ci.com/2012-08-13-build-workflow-around-pull-requests

2018-01-16 06:15:28 +01:00

1.2 KiB

Raw Blame History

View Raw