Mkdocs deploy (#2506)

* switch to github actions for mkdocs deploy

* fix mkdocs gh-deploy
This commit is contained in:
ksurl 2023-01-22 20:51:46 -08:00 committed by GitHub
parent ee549d8c77
commit e554f9536b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,4 +25,4 @@ jobs:
echo "mkdocs_version=$mkdocs" >> $GITHUB_ENV
- name: Build and push site
run: mkdocs gh-deploy --message "Deployed ${{ github.sha }} with MkDocs version ${{ env.mkdocs_version }}. [skip ci]"
run: mkdocs gh-deploy --message "Deployed ${{ github.sha }} with MkDocs version ${{ env.mkdocs_version }}. [skip ci]" --force