ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

github: restrict Clippy's access again

Browse source 
It seems "checks" is the permissions it needs to be able to comment on
pull-requests.
This commit is contained in:
Martin von Zweigbergk 2022-03-18 22:19:24 -07:00 committed by Martin von Zweigbergk
parent 3f24411bbf
commit b4e6fab1af
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/build.yml vendored
View file

@ -54,7 +54,8 @@ jobs:
clippy-stable:
name: Clippy check (stable)
permissions: write-all
permissions:
checks: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@a12a3943b4bdde767164f792f33f40b04645d846
@ -71,7 +72,8 @@ jobs:
clippy-nightly:
name: Clippy check (nightly)
permissions: write-all
permissions:
checks: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@a12a3943b4bdde767164f792f33f40b04645d846