From f3d2f05bab73e5b594f8cfb873e6953e271d2558 Mon Sep 17 00:00:00 2001 From: Eric Joanis Date: Fri, 21 Jun 2024 17:44:45 -0400 Subject: [PATCH] ci: update latest dev docs on push to main --- .github/workflows/docs.yml | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 .github/workflows/docs.yml diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 00000000..a819973c --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,30 @@ +name: Deploy docs +on: + push: + branches: + - main +jobs: + docs: + # Create latest docs + runs-on: ubuntu-latest + permissions: + contents: write # to push to the gh-pages branch + steps: + - uses: actions/checkout@v4 + with: + fetch-depth: 0 # needed to get the gh-pages branch + - uses: actions/setup-python@v5 + with: + python-version: "3.8" + - name: Install dependencies and Studio + run: | + python -m pip install --upgrade pip + pip install wheel + pip install -r docs/requirements.txt -e . + - name: Setup doc deploy + run: | + git config user.name 'github-actions[bot]' + git config user.email 'github-actions[bot]@users.noreply.github.com' + - name: Deploy docs with mike 🚀 + run: | + mike deploy --push --update-aliases dev latest