diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2022-10-03 12:51:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-03 12:51:30 +0200 |
| commit | 2c55c4b106c8a5d111e0b4dd8a5f6a315fe3c9a0 (patch) | |
| tree | 87f9ab9a14e949f07380e2cacdcdee4d8bb32e63 /.github | |
| parent | 9c6a901f304e14b3382ef5ec47ce087f889ade52 (diff) | |
Update main.js
Diffstat (limited to '.github')
| -rw-r--r-- | .github/actions/github-release/main.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/actions/github-release/main.js b/.github/actions/github-release/main.js index 077926e..83725c6 100644 --- a/.github/actions/github-release/main.js +++ b/.github/actions/github-release/main.js @@ -22,6 +22,12 @@ async function runOnce() { core.info(`name: ${name}`); core.info(`token: ${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 |