Remove redundant readthedocs triggers and check for stable changes (#101)

This change removes the redundant RTD webhook triggering that did not work properly, now that pushes to the repo from the GH actions works without a manual trigger.

It also removes a check for changes from the stable branch update, since it checks if there were any changes to main, when really it should be checking for diffs between main and stable. If after the submodules were last automatically updated there have been no additional changes to main or to the submodules, the faulty check will cause the update to stable to skip. Since there will always be a diff between main and stable (slang submodule checked out from different branch) the check, even if done properly, is redundant too.

Author: aidanfnv

.github/workflows/sync-stable-branch.yml

@@ -47,37 +47,8 @@ jobs:
           popd
           echo "Checked out tag ${{ steps.slang_latest_tag.outputs.tag }} in docs/external/slang"
 
-      - name: Check for changes
-        id: check_changes
-        run: |
-          # Only stage the slang submodule, as the others are already updated
-          git add docs/external/slang
-          
-          # Check if the index differs from HEAD
-          # git diff --cached --quiet exits 0 if no diff, 1 if diff
-          if ! git diff --cached --quiet; then
-            echo "Changes detected in submodule references."
-            echo "changes=true" >> $GITHUB_OUTPUT
-          else
-            echo "No changes detected in submodule references."
-            echo "changes=false" >> $GITHUB_OUTPUT
-            # If no changes, reset the index in case unrelated changes were staged
-            git reset HEAD --quiet
-          fi
-
       - name: Commit and push changes to stable branch
-        if: steps.check_changes.outputs.changes == 'true'
         run: |
           git commit -m "Sync stable to release (slang@${{ steps.slang_latest_tag.outputs.tag }})"
           git push origin HEAD:stable --force
           echo "Committed and force-pushed updates to stable branch."
-
-      - name: Trigger Read the Docs Build on stable branch update
-        if: steps.check_changes.outputs.changes == 'true'
-        env:
-          RTD_WEBHOOK_SECRET: ${{ secrets.RTD_WEBHOOK_SECRET }}
-        run: |
-          curl -X POST \
-               -d "branches=stable" -d "token=$RTD_WEBHOOK_SECRET" \
-               https://readthedocs.org/api/v2/webhook/slang-documentation/296117/
-          echo "Triggered Read the Docs build for stable branch."

.github/workflows/update-submodules.yml

@@ -61,13 +61,3 @@ jobs:
         run: |
           git commit -m "Auto-update submodules"
           git push origin ${{ steps.default_branch.outputs.name }}
-
-      - name: Trigger Read the Docs Build
-        if: steps.check_changes.outputs.changes == 'true'
-        env:
-          RTD_WEBHOOK_SECRET: ${{ secrets.RTD_WEBHOOK_SECRET }}
-        run: |
-          curl -X POST \
-               -d "branches=${{ steps.default_branch.outputs.name }}" -d "token=$RTD_WEBHOOK_SECRET" \
-               https://readthedocs.org/api/v2/webhook/slang-documentation/296117/
-          echo "Triggered Read the Docs build for ${{ steps.default_branch.outputs.name }} branch."