Always publish dev docs on push to main (#400)

athackst · Oct 1, 2022 · 5a16cca · 5a16cca
1 parent 39e3dc7
commit 5a16cca
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 22 deletions.
diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
@@ -13,19 +13,13 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v3
-      - name: Set up Python 3
-        uses: actions/setup-python@v4
+      - name: Publish dev docs
+        uses: ./
         with:
-          python-version: 3
-          cache: 'pip'
-      - run: pip install -r requirements.txt
-      - name: Build Docs
-        run: ./build.sh
-      - name: Setup environment
-        run: |
-          echo "VERSION=$(cat VERSION)" >> $GITHUB_ENV
-      - name: Publish Docs
+          version: dev
+      - name: Publish Release docs
+        if: ${{ github.event.release.tag_name }}
         uses: ./
         with:
-          version: ${{ env.VERSION }} latest
+          version: ${{ github.event.release.tag_name }} latest
           default_version: ${{ github.event.release.tag_name }}
diff --git a/.github/workflows/release_draft.yml b/.github/workflows/release_draft.yml
@@ -33,13 +33,3 @@ jobs:
             git push -f
             echo "Pushed update to main"
           fi
-  update_docs:
-    runs-on: ubuntu-latest
-    needs: update_release_draft
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v3
-      - name: Publish Docs
-        uses: ./
-        with:
-          version: dev