Skip to content

Commit

Permalink
Update update_documentation.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
LeoHeidweiler authored Jul 14, 2024
1 parent 1a40196 commit b632da1
Showing 1 changed file with 20 additions and 15 deletions.
35 changes: 20 additions & 15 deletions .github/workflows/update_documentation.yml
Original file line number Diff line number Diff line change
Expand Up @@ -45,21 +45,26 @@ jobs:
- name: Run Makefile
run: make

- name: Deploy documentation to GitHub Pages
- uses: actions/checkout@v4
- name: Configure Git Credentials
run: |
poetry run mike deploy develop
poetry run mike set-default develop
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
- uses: actions/setup-python@v5
with:
python-version: 3.x
- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV


- uses: actions/cache@v4
with:
key: mkdocs-material-${{ env.cache_id }}
path: .cache
restore-keys: |
mkdocs-material-
- run: pip install mkdocs-material


- run: mkdocs gh-deploy --force

- name: Configure Git
run: |
git config --global user.name 'github-actions'
git config --global user.email '[email protected]'

- name: Push changes to gh-pages
run: |
git add .
git commit -m "Update documentation"
git push origin gh-pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

0 comments on commit b632da1

Please sign in to comment.