release: Run other workflows explicitly

To bypass restrictions on GitHub Actions run the docs and ci workflows
manually after creating a release. GitHub Actions does not trigger
other workflows from a workflow run if not using a personal access
token (PAT). By calling the workflows explicitly, it is possible to
work around this restriction without the need for a PAT.

Signed-off-by: Felix Matouschek <fmatouschek@redhat.com>

.github/workflows/ci.yml

@@ -7,6 +7,7 @@ on:
     branches:
       - main
   pull_request:
+  workflow_dispatch:
   schedule:
     - cron: '0 6 * * *'
 jobs:

.github/workflows/release.yml

@@ -89,3 +89,15 @@ jobs:
           tag_name: ${{ steps.get_version.outputs.TAG_VERSION }}
           files: "*.tar.gz"
           body_path: gh-release.md
+
+      - name: Run docs workflow
+        run: |
+          gh workflow run docs.yml --ref main
+          gh workflow run docs.yml --ref ${{ steps.get_version.outputs.TAG_VERSION }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Run ci workflow
+        run: gh workflow run ci.yml --ref main
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}