Merge branch 'main' into main

dart-lang · Aug 4, 2023 · d78c79e · d78c79e
2 parents edcc791 + 06b532f
commit d78c79e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/health.yaml b/.github/workflows/health.yaml
@@ -8,3 +8,5 @@ jobs:
     uses: dart-lang/ecosystem/.github/workflows/health.yaml@main
     with:
       coverage_web: true
+    permissions:
+      pull-requests: write
diff --git a/.github/workflows/post_summaries.yaml b/.github/workflows/post_summaries.yaml
@@ -11,3 +11,5 @@ on:
 jobs:
   upload:
     uses: dart-lang/ecosystem/.github/workflows/post_summaries.yaml@main
+    permissions:
+      pull-requests: write