mathlib
80f5bd54 - feat(ci): build and push html documentation (#1927)

Commit
6 years ago
feat(ci): build and push html documentation (#1927) * feat(ci): build and push html doc generation * fix(scripts/deploy_docs): change from temporary doc repo * chore(ci): re-enable check for deployment * fix git add * Update scripts/deploy_docs.sh Co-Authored-By: Gabriel Ebner <gebner@gebner.org> * Update .github/workflows/build.yml Co-Authored-By: Gabriel Ebner <gebner@gebner.org> * Update scripts/deploy_docs.sh Co-Authored-By: Gabriel Ebner <gebner@gebner.org> * Update scripts/deploy_docs.sh Co-Authored-By: Gabriel Ebner <gebner@gebner.org> * remove chmod line * revert additional check for testing purposes * is this the error? Try a test build before I get to the office * rmeove _test * reapply author attribution change * revert change for testing * missing -- * revert email and name config Co-authored-by: Gabriel Ebner <gebner@gebner.org> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Author
Parents
Loading