diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index ccd79c3..b7db0a7 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -71,3 +71,16 @@ jobs: - name: Deploy to GitHub Pages id: deployment uses: actions/deploy-pages@v5 + + # Rebuilds docs.byteveda.org/dagron/ now instead of at the portal's next + # cron. The run id is passed because this run is still in progress here, so + # the portal cannot find it as the latest successful docs.yml run — it would + # mirror the build before this one. + - name: Notify docs portal + env: + GH_TOKEN: ${{ secrets.DOCS_DISPATCH_TOKEN }} + run: | + gh api repos/ByteVeda/byteveda.site/dispatches \ + -f event_type=tool-docs-published \ + -f "client_payload[slug]=dagron" \ + -f "client_payload[run_id]=${{ github.run_id }}"