Skip to content

Update lint to v31.7.3 (#455) #489

Update lint to v31.7.3 (#455)

Update lint to v31.7.3 (#455) #489

Workflow file for this run

name: docs
on:
push:
branches:
- main
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
- uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b # v5
with:
python-version: 3.x
- uses: actions/cache@6849a6489940f00c2f30c0fb92c6274307ccb58a # v4
with:
key: ${{ github.ref }}
path: .cache
- run: ./move_docs.sh
- run: pip install mkdocs-material
- run: mkdocs gh-deploy --force