diff options
Diffstat (limited to '.github/workflows/pages.yml')
| -rw-r--r-- | .github/workflows/pages.yml | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml deleted file mode 100644 index 087819ba..00000000 --- a/.github/workflows/pages.yml +++ /dev/null @@ -1,46 +0,0 @@ -name: build Pages -on: - push: - branches: - - master - - main - paths: - - "*.md" - - docs/** - - .github/workflows/pages.yml - -permissions: - contents: write -jobs: - deploy: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - - 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: | - cp CHANGELOG.md docs/changelog.md - pip install -r docs/requirements.txt - pdm install - - - name: Build Documentation - run: | - git config --local user.email "action@github.com" - git config --local user.name "GitHub Action" - git fetch origin gh-pages:gh-pages - pdm run mike deploy --update-aliases dev - git push origin gh-pages - - - name: Save build cache - uses: actions/cache/save@v4 - with: - key: mkdocs-material-${{ hashfiles('.cache/**') }} - path: .cache |
