[build] Retry failed GitHub API requests

3 files changed, 9 insertions, 3 deletions

diff --git a/scripts/check_binary_size.js b/scripts/check_binary_size.js
index 5a8aa70b1b..73d6ab7508 100755
--- a/scripts/check_binary_size.js
+++ b/scripts/check_binary_size.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 prettyBytes = require('pretty-bytes');
 const fs = require('fs');
 
diff --git a/scripts/publish_binary_size.js b/scripts/publish_binary_size.js
index d00bb4bdbe..ee4c849223 100755
--- a/scripts/publish_binary_size.js
+++ b/scripts/publish_binary_size.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');
 
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');