Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to '.github/actions/github-release/main.js')
| -rw-r--r-- | .github/actions/github-release/main.js | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/actions/github-release/main.js b/.github/actions/github-release/main.js index c8145f63c2..e8dba39873 100644 --- a/.github/actions/github-release/main.js +++ b/.github/actions/github-release/main.js @@ -21,7 +21,12 @@ async function runOnce() { core.info(`files: ${files}`); core.info(`name: ${name}`); - const octokit = github.getOctokit(token); + const options = { + request: { + timeout: 30000, + } + }; + const octokit = github.getOctokit(token, options); // Delete the previous release since we can't overwrite one. This may happen // due to retrying an upload or it may happen because we're doing the dev |