Fix doc workflow

This commit is contained in:
Victor Zverovich 2024-06-11 13:43:31 -07:00 committed by GitHub
parent 28673d9699
commit f796264449
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -33,9 +33,11 @@ jobs:
- name: Build
working-directory: ${{runner.workspace}}/build
run: $GITHUB_WORKSPACE/support/mkdocs deploy dev
- name: Deploy
if: secrets.KEY != ''
working-directory: ${{runner.workspace}}/build/fmt.dev
env:
KEY: ${{secrets.KEY}}
run: |
$GITHUB_WORKSPACE/support/mkdocs deploy dev
cd $GITHUB_WORKSPACE/build/fmt.dev
git push https://$KEY@github.com/fmtlib/fmt.dev.git
run: git push https://$KEY@github.com/fmtlib/fmt.dev.git