| commit | 6d2122444e80b61e107d1e06c73cd4bdfbe593bd | |
| author | Michael Keller <github@ike.ch> | |
| Sat, 23 Feb 2019 00:42:38 +0000 (23 13:42 +1300) | ||
| committer | GitHub <noreply@github.com> | |
| Sat, 23 Feb 2019 00:42:38 +0000 (23 13:42 +1300) | ||
| tree | 4d9c32f787caac29e1af94c25d3d0e55d420dc26 | treesnapshot (tar.gz zip) |
| parent | bd404894928501743007959885f1baeaa980da71 | commitdiff |
| parent | 533b832d1d524372942b7ff5cd8ea960b2bd5375 | commitdiff |
Merge pull request #7631 from mikeller/avoid_building_if_no_changes
Abort the CI build if no files used in the build were updated.
Abort the CI build if no files used in the build were updated.