| name: Comment on the pull request |
| |
| on: |
| # Trigger this workflow after the Health workflow completes. This workflow will have permissions to |
| # do things like create comments on the PR, even if the original workflow couldn't. |
| workflow_run: |
| workflows: |
| - Health |
| - Publish |
| types: |
| - completed # zizmor: ignore[dangerous-triggers] |
| |
| jobs: |
| upload: |
| uses: dart-lang/ecosystem/.github/workflows/post_summaries.yaml@fc3dd9a17a8e18b3b4aa5abac8a0f4a679fe2d57 |
| permissions: |
| actions: read |
| contents: read |
| pull-requests: write |
