actions/deploy-pages
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #83 from actions/pr82

Browse Source 
Update to PR #82
This commit is contained in:
James M. Greene
2022-11-30 10:46:59 -06:00
committed by GitHub
parent 67198a6ece 7fe67672d7
commit 368bf1aa22
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
dist/index.js
Vendored
+1 -1
View File
@@ -7351,7 +7351,7 @@ async function main() {
idToken = await core.getIDToken() idToken = await core.getIDToken()
} catch (error) { } catch (error) {
console.log(error) console.log(error)
core.setFailed(`Ensure GITHUB_TOKEN has permission "idToken: write".`) core.setFailed(`Ensure GITHUB_TOKEN has permission "id-token: write".`)
return return
} }
try { try {
dist/index.js.map
Vendored
+1 -1
View File
File diff suppressed because one or more lines are too long
src/index.js
+1 -1
View File
@@ -19,7 +19,7 @@ async function main() {
idToken = await core.getIDToken() idToken = await core.getIDToken()
} catch (error) { } catch (error) {
console.log(error) console.log(error)
core.setFailed(`Ensure GITHUB_TOKEN has permission "idToken: write".`) core.setFailed(`Ensure GITHUB_TOKEN has permission "id-token: write".`)
return return
} }
try { try {