From de9d59e4dbdd25321ab59ad5e60a55b197c573e4 Mon Sep 17 00:00:00 2001 From: Daco Harkes Date: Wed, 1 Nov 2023 18:12:46 +0100 Subject: [PATCH] [infra] Fix PR publisher comments (#177) @mosuem I have no idea what I'm looking at, I copied this from https://github.com/dart-lang/tools/pull/169. Will this solve https://github.com/dart-lang/native/issues/175 ? --- .github/workflows/post_summaries.yaml | 16 ++++++++++++++++ .github/workflows/publish.yaml | 2 ++ README.md | 1 - 3 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 .github/workflows/post_summaries.yaml diff --git a/.github/workflows/post_summaries.yaml b/.github/workflows/post_summaries.yaml new file mode 100644 index 000000000..a47509258 --- /dev/null +++ b/.github/workflows/post_summaries.yaml @@ -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 diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml index 7bdb4fe7d..4bac35325 100644 --- a/.github/workflows/publish.yaml +++ b/.github/workflows/publish.yaml @@ -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 diff --git a/README.md b/README.md index 6fc05c6d6..ed09c1d25 100644 --- a/README.md +++ b/README.md @@ -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