Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 13:40:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Run manifest-update without running tests prior to checking diff

Browse source
This commit is contained in:
Martin Feckie 2015-11-21 09:35:43 +11:00
parent 3f34ee345e
commit 9c5e9dc96c
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
etc/ci/manifest_changed.sh
View file

@ -1,4 +1,5 @@
#!/bin/bash
diff=$(git diff -- tests/wpt/**/MANIFEST.json)
./mach test-wpt --manifest-update SKIP_TESTS
diff=$(git diff --exit-code -- tests/**/MANIFEST.json)
echo "$diff"
[[ ! $diff ]]