diff --git a/etc/ci/manifest_changed.sh b/etc/ci/manifest_changed.sh new file mode 100755 index 00000000000..6aeac707396 --- /dev/null +++ b/etc/ci/manifest_changed.sh @@ -0,0 +1,4 @@ +#!/bin/bash +diff=$(git diff -- tests/**/MANIFEST.json) +echo "$diff" +[[ ! $diff ]]