Skip to content

chore: thanos cleanup #93

chore: thanos cleanup

chore: thanos cleanup #93

Workflow file for this run

---
name: Publish docs via GitHub Pages
on: # yamllint disable-line rule:truthy
workflow_dispatch:
push:
branches: ["main"]
paths:
- ".github/workflows/publish-docs.yaml"
- "mkdocs.yaml"
- "docs/**"
jobs:
publish-docs:
runs-on: ubuntu-latest
if: github.event.pull_request.head.repo.fork == false
steps:
- name: Generate Token
uses: actions/create-github-app-token@v1
id: app-token
with:
app-id: "${{ secrets.BOT_APP_ID }}"
private-key: "${{ secrets.BOT_APP_PRIVATE_KEY }}"
- name: Checkout
uses: actions/checkout@v4
with:
token: "${{ steps.app-token.outputs.token }}"
- uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b # v5
with:
python-version: 3.x
- uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b # v5
with:
python-version: 3.x
- run: |
git config user.name "${GITHUB_ACTOR}"
git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
- run: |
pip install \
mkdocs>=1.1 \
mkdocs-macros-plugin >=0.5 \
mkdocs-material >=1.0 \
mkdocs-minify-plugin>=0.3 \
mkdocs-redirects>=1.0
- run: mkdocs gh-deploy --config-file ./mkdocs.yaml --force