docs: combine workflows; use token-based authentification (#1317)

Author: danceratopz

.github/workflows/docs_tags.yaml .github/workflows/docs_deploy.yaml.github/workflows/docs_tags.yaml renamed to .github/workflows/docs_deploy.yaml

@@ -1,9 +1,10 @@
-name: Deploy Docs Tags
+name: Deploy Docs
 
 on:
   push:
     tags:
       - "v[0-9]+.[0-9]+.[0-9]+*" # Push events to matching v*, i.e. v1.0, v20.15.10, v0.1.1a1
+      - main
 
 jobs:
   deploy:
@@ -15,7 +16,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           fetch-depth: 0
-          ssh-key: ${{secrets.GH_ACTIONS_DEPLOY_KEY}}
+          token: ${{ secrets.GITHUB_TOKEN }}
       - name: Build transition tool
         uses: ./.github/actions/build-evm-base
         with:
@@ -32,5 +33,10 @@ jobs:
           git config --global user.name "github-actions[bot]"
           git config --global user.email github-actions[bot]@users.noreply.github.com
       - name: Build and deploy docs to gh-pages
+        if: ${{ github.ref_type == 'branch' }}
+        run: |
+            uv run mike deploy --update-aliases --push --remote origin main development
+      - name: Build and deploy docs to gh-pages
+        if: ${{ github.ref_type == 'tag' }}
         run: |
           uv run mike deploy --push --remote origin ${{ github.ref_name }}