name: Comment on the pull request | |
on: | |
# Trigger this workflow after the Publish 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: | |
- Publish | |
types: | |
- completed | |
jobs: | |
upload: | |
uses: dart-lang/ecosystem/.github/workflows/post_summaries.yaml@main | |
permissions: | |
pull-requests: write |