Launch the diffing-portal workflow during release build

Author: patacca

.github/workflows/release.yml

@@ -71,6 +71,19 @@ jobs:
           name: wheelhouse-sdist
           path: ./dist/*
 
+  run_diffing_portal:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Dispatch the diffing-portal workflow
+        run: |
+          curl -L \
+          -X POST \
+          -H "Accept: application/vnd.github+json" \
+          -H "Authorization: Bearer ${{ secrets.DIFFING_PORTAL_TOKEN }}" \
+          -H "X-GitHub-Api-Version: 2022-11-28" \
+          https://api.github.com/repos/quarkslab/diffing-portal/actions/workflows/doc.yml/dispatches \
+          -d '{"ref":"main"}'
+
   upload_pypi:
     needs: [build_wheels, build_sdist]
     runs-on: ubuntu-latest