trigger_doc_gen.yml

name: Trigger doc generation

on:
  workflow_dispatch:
  push:
    branches:
      - master
  schedule:
    - cron: '0 0 * * *'    # every day at midnight

jobs:
  upload:
    runs-on: ubuntu-latest

    steps:
      - name: Send repository_dispatch
        run: |
          curl -X POST -H "Accept: application/vnd.github.v3+json" \
            -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
            https://api.github.com/repos/${{ github.repository }}/dispatches \
            -d '{"event_type": "generate-doc"}'
          echo "Empty action triggering the generation of the documentation"