Merge pull request #1716 from blink1073/docs-build-again

Try with debug output
2026-07-13 02:20:51 +08:00 · 2015-09-18 15:05:14 -07:00
parent 2c153823c7 6f8cfc7001
commit 5f27db9c08
1 changed files with 1 additions and 1 deletions
@@ -17,7 +17,7 @@ then

    git add dev
    git commit -m "Deployed to GitHub Pages"
-    git push --force --quiet "https://${GHTOKEN}@${GH_REF}" gh-pages > /dev/null 2>&1
+    git push --force --quiet "https://${GHTOKEN}@${GH_REF}" gh-pages
    )
 else
    echo "-- will only push docs from master --"