Skip to content

/ servo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unbreak the docs build. #20273

Merged
merged 1 commit into from Mar 12, 2018
+3 −3
Merged

Unbreak the docs build. #20273

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter...
Filter file types
Jump to…
Jump to file
Failed to load files.

Always

Just for now

Loading status checks…

Unbreak the docs build.

  • Loading branch information
@jdm
jdm committed Mar 11, 2018
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
commit 34d14a092ca1440282911d7205d836c910748a4a
6 etc/ci/upload_docs.sh
View file
Open in desktop
@@ -38,13 +38,13 @@ cp apis.html ../../target/doc/servo/
echo "Copied apis.html."
cd ../..

# Clean up the traces of the current doc build.
./etc/ci/clean_build_artifacts.sh

echo "Starting ghp-import."
ghp-import -n target/doc
echo "Finished ghp-import."
git push -qf \
"https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages \
&>/dev/null
echo "Finished git push."

# Clean up the traces of the current doc build.
./etc/ci/clean_build_artifacts.sh
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.