docs: add github action to push docs

brycedrennan · Jan 7, 2024 · 9726752 · 9726752
1 parent 78ae188
commit 9726752
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -128,13 +128,13 @@ jobs:
           git config user.email 41898282+github-actions[bot]@users.noreply.github.com
       - uses: actions/setup-python@v4
         with:
-          python-version: 3.x
+          python-version: 3.10
       - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
       - uses: actions/cache@v3
         with:
           key: mkdocs-material-${{ env.cache_id }}
           path: .cache
           restore-keys: |
             mkdocs-material-
-      - run: python -m pip install -r requirements-dev.txt . --upgrade
+      - run: python -m pip install -r requirements-dev.in . --upgrade
       - run: mkdocs gh-deploy --force