diff options
Diffstat (limited to 'scripts/publish_doxygen_coverage.js')
-rwxr-xr-x | scripts/publish_doxygen_coverage.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/publish_doxygen_coverage.js b/scripts/publish_doxygen_coverage.js index 723115d36d..b71d6cf8e2 100755 --- a/scripts/publish_doxygen_coverage.js +++ b/scripts/publish_doxygen_coverage.js @@ -1,7 +1,9 @@ #!/usr/bin/env node const jwt = require('jsonwebtoken'); -const github = require('@octokit/rest')(); +const github = require('@octokit/rest').plugin(require('@octokit/plugin-retry'))({ + retry: { doNotRetry: [ /* Empty — retry on any error code. */ ] } +}) const zlib = require('zlib'); const AWS = require('aws-sdk'); const fs = require('fs'); |