1515 description : " Version String for task.h on main branch (leave empty to leave as-is)."
1616 required : false
1717 default : ' '
18- github_token :
19- description : ' GitHub token for creating releases and pushing changes'
20- required : false
21- default : ${{ github.token }}
2218
2319jobs :
2420 release-packager :
3531 with :
3632 architecture : x64
3733 env :
38- GITHUB_TOKEN : ${{ github.event.inputs.github_token }}
34+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
3935
4036 - name : Install GitHub CLI
4137 run : |
9086 VERSION_NUMBER : ${{ github.event.inputs.version_number }}
9187 MAIN_BR_VERSION_NUMBER : ${{ github.event.inputs.main_br_version }}
9288 COMMIT_SHA_1 : ${{ env.COMMIT_SHA_1 }}
93- GITHUB_TOKEN : ${{ github.event.inputs.github_token }}
89+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
9490 run : |
9591 # Install deps and run
9692 pip install -r ./tools/.github/scripts/release-requirements.txt
@@ -126,7 +122,7 @@ jobs:
126122 - name : Create pull request
127123 env :
128124 VERSION_NUMBER : ${{ github.event.inputs.version_number }}
129- GH_TOKEN : ${{ github.event.inputs.github_token }}
125+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
130126 REPO_FULL_NAME : ${{ github.repository }}
131127 working-directory : ./local_kernel
132128 run : |
@@ -140,7 +136,7 @@ jobs:
140136
141137 - name : Wait for PR to be merged
142138 env :
143- GH_TOKEN : ${{ github.event.inputs.github_token }}
139+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
144140 REPO_FULL_NAME : ${{ github.repository }}
145141 working-directory : ./local_kernel
146142 run : |
@@ -179,7 +175,7 @@ jobs:
179175 - name : Commit SBOM file
180176 env :
181177 VERSION_NUMBER : ${{ github.event.inputs.version_number }}
182- GITHUB_TOKEN : ${{ github.event.inputs.github_token }}
178+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
183179 working-directory : ./local_kernel
184180 run : |
185181 git add .
@@ -193,7 +189,7 @@ jobs:
193189 MAIN_BR_VERSION_NUMBER : ${{ github.event.inputs.main_br_version }}
194190 COMMIT_SHA_2 : ${{ env.COMMIT_SHA_2 }}
195191 REPO_OWNER : ${{ github.repository_owner }}
196- GITHUB_TOKEN : ${{ github.event.inputs.github_token }}
192+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
197193 run : |
198194 # Install deps and run
199195 pip install -r ./tools/.github/scripts/release-requirements.txt
@@ -212,7 +208,7 @@ jobs:
212208 if : always()
213209 env :
214210 VERSION_NUMBER : ${{ github.event.inputs.version_number }}
215- GH_TOKEN : ${{ github.event.inputs.github_token }}
211+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
216212 working-directory : ./local_kernel
217213 run : |
218214 # Only delete release-prep branch if the PR was already merged
0 commit comments