mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Add script to check if MANIFEST.json files change
This commit is contained in:
parent
7e5c45ddbf
commit
cef839e454
1 changed files with 4 additions and 0 deletions
4
etc/ci/manifest_changed.sh
Executable file
4
etc/ci/manifest_changed.sh
Executable file
|
@ -0,0 +1,4 @@
|
||||||
|
#!/bin/bash
|
||||||
|
diff=$(git diff -- tests/**/MANIFEST.json)
|
||||||
|
echo "$diff"
|
||||||
|
[[ ! $diff ]]
|
Loading…
Add table
Add a link
Reference in a new issue