Add paths filter to PR trigger; add docker/** to push paths#25

stewartshea merged 1 commit into

mainrunwhen-contrib/codecollection-devtools:mainfrom

fix/ci-paths-filterrunwhen-contrib/codecollection-devtools:fix/ci-paths-filterCopy head branch name to clipboard