File tree Expand file tree Collapse file tree 3 files changed +11
-1
lines changed Expand file tree Collapse file tree 3 files changed +11
-1
lines changed Original file line number Diff line number Diff line change 77 pull_request :
88 workflow_dispatch :
99
10+ permissions :
11+ contents : read
12+
1013concurrency :
1114 group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
1215 cancel-in-progress : true
Original file line number Diff line number Diff line change 88 - cron : " 43 6 * * 5" # weekly at 06:43 (UTC) on Friday
99 workflow_dispatch :
1010
11- permissions : read-all
11+ permissions :
12+ contents : read
1213
1314jobs :
1415 analysis :
1516 runs-on : ubuntu-latest
1617 permissions :
18+ contents : read
1719 # Needed for Code scanning upload
1820 security-events : write
1921 # Needed for GitHub OIDC token if publish_results is true
Original file line number Diff line number Diff line change @@ -2,8 +2,13 @@ name: Release
22on :
33 workflow_dispatch :
44
5+ permissions :
6+ contents : read
7+
58jobs :
69 release :
10+ permissions :
11+ contents : write # for creating the release
712 runs-on : ubuntu-latest
813 outputs :
914 version : ${{ steps.create-github-release.outputs.version }}
You can’t perform that action at this time.
0 commit comments