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

Update web-platform-tests to revision 887d08e63a19b14acf3217df77f12c121a792fed

Browse source
This commit is contained in:
WPT Sync Bot 2019-06-18 10:23:53 +00:00
parent 97ad913dc2
commit a41065a1f4
65 changed files with 1433 additions and 463 deletions
Download patch file Download diff file Expand all files Collapse all files

24
tests/wpt/web-platform-tests/tools/ci/website_build.sh
View file

@ -32,18 +32,6 @@ function modifies_relevant_files {
grep -E --silent '^(docs|tools)/'
}
if is_pull_request ; then
echo Submission comes from a pull request. Exiting without building.
exit ${neutral_status}
fi
if ! targets_master ; then
echo Submission does not target the 'master' branch. Exiting without building.
exit ${neutral_status}
fi
if ! modifies_relevant_files ; then
echo No files related to the website have been modified. Exiting without
echo building.
@ -78,6 +66,18 @@ touch .nojekyll
# Publish the website by pushing the built contents to the `gh-pages` branch
git add .
if is_pull_request ; then
echo Submission comes from a pull request. Exiting without publishing.
exit ${neutral_status}
fi
if ! targets_master ; then
echo Submission does not target the 'master' branch. Exiting without publishing.
exit ${neutral_status}
fi
if git diff --exit-code --quiet --staged ; then
echo No change to the website contents. Exiting without publishing.