From 60d5a4b2580c800c768e9c3ef3fd90156a23d7b3 Mon Sep 17 00:00:00 2001 From: Suraj Pai Date: Thu, 15 Feb 2024 13:06:16 -0500 Subject: [PATCH] Auto-deploy latest docs on push --- .github/workflows/docs | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 .github/workflows/docs diff --git a/.github/workflows/docs b/.github/workflows/docs new file mode 100644 index 0000000..44ee607 --- /dev/null +++ b/.github/workflows/docs @@ -0,0 +1,29 @@ +name: ci +on: + push: + branches: + - master + +permissions: + contents: write +jobs: + deploy: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: Configure Git Credentials + run: | + 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