Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:25
erlang
0538-gh-More-permissions-to-pr-update.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0538-gh-More-permissions-to-pr-update.patch of Package erlang
From 52a572f9cc848b5da49d91993f0dc6c15a6a9cc7 Mon Sep 17 00:00:00 2001 From: Lukas Larsson <lukas@erlang.org> Date: Fri, 10 Nov 2023 13:25:16 +0100 Subject: [PATCH] gh: More permissions to pr-update --- .github/workflows/pr-comment.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/pr-comment.yaml b/.github/workflows/pr-comment.yaml index 8128082172..1d0ceff83f 100644 --- a/.github/workflows/pr-comment.yaml +++ b/.github/workflows/pr-comment.yaml @@ -55,6 +55,7 @@ jobs: concurrency: erlang.github.io-deploy permissions: issues: write + checks: read if: >- github.event.action == 'completed' && needs.pr-number.outputs.result != '' && -- 2.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
