Skip to content

Commit

Permalink
[infra] Fix PR publisher comments (#177)
Browse files Browse the repository at this point in the history
@mosuem I have no idea what I'm looking at, I copied this from dart-lang/tools#169.

Will this solve #175 ?
  • Loading branch information
dcharkes authored Nov 1, 2023
1 parent 22b6b24 commit de9d59e
Show file tree
Hide file tree
Showing 3 changed files with 18 additions and 1 deletion.
16 changes: 16 additions & 0 deletions .github/workflows/post_summaries.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
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:
- Publish
types:
- completed

jobs:
upload:
uses: dart-lang/ecosystem/.github/workflows/post_summaries.yaml@main
permissions:
pull-requests: write
2 changes: 2 additions & 0 deletions .github/workflows/publish.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -15,3 +15,5 @@ jobs:
permissions:
id-token: write # Required for authentication using OIDC
pull-requests: write # Required for writing the pull request note
with:
write-comments: false
1 change: 0 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
[![dart](https://github.com/dart-lang/native/actions/workflows/dart.yaml/badge.svg)](https://github.com/dart-lang/native/actions/workflows/dart.yaml)
[![Coverage Status](https://coveralls.io/repos/github/dart-lang/native/badge.svg?branch=main)](https://coveralls.io/github/dart-lang/native?branch=main)

## Overview
Expand Down

0 comments on commit de9d59e

Please sign in to comment.