add exclusion directories to PR builds, not just rolling builds. (#2272)

This commit is contained in:
Michael Niksa
2019-08-06 09:46:43 -07:00
committed by GitHub
parent aae938fc33
commit a7877558f2

View File

@@ -13,6 +13,11 @@ pr:
branches:
include:
- master
paths:
exclude:
- doc/*
- samples/*
- tools/*
# 0.0.yyMM.dd##
# 0.0.1904.0900