diff options
| author | 2024-01-26 14:14:05 +0800 | |
|---|---|---|
| committer | 2024-01-26 14:14:05 +0800 | |
| commit | dee0ac81b67f8937f717c2d38468850f7071ce8d (patch) | |
| tree | fd003c237252e2c8e0602ae758d5c6063955c85c /.github/workflows/pages.yml | |
| parent | 96e4c956d808cc8e3dbea497f6ea4ee36a742a08 (diff) | |
| download | infini-dee0ac81b67f8937f717c2d38468850f7071ce8d.tar.gz infini-dee0ac81b67f8937f717c2d38468850f7071ce8d.zip | |
refactor(ci|docs|files): update workflows, refresh docs cacahe and, delete useless files
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 |
