git: ensure publish job runs if either build job succeeds

Author: will-break-it

.github/workflows/docs.yaml

@@ -268,7 +268,7 @@ jobs:
     name: "Publish"
     runs-on: ubuntu-latest
     needs: [build-docusaurus-site, build-docusaurus-site-formal-spec]
-    if: github.ref == 'refs/heads/main' || github.event_name == 'workflow_run'
+    if: always() && (github.ref == 'refs/heads/main' || github.event_name == 'workflow_run')
     steps:
       - name: 📥 Download Docusaurus build
         uses: actions/download-artifact@v4
@@ -277,6 +277,7 @@ jobs:
           path: ./github-pages
 
       - name: 🚀 Publish GitHub Pages
+        if: success()
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN || github.token }}