retry on any exception + log (#2291)
diff --git a/app_dart/lib/src/foundation/github_checks_util.dart b/app_dart/lib/src/foundation/github_checks_util.dart
index 6edbb69..a896119 100644
--- a/app_dart/lib/src/foundation/github_checks_util.dart
+++ b/app_dart/lib/src/foundation/github_checks_util.dart
@@ -118,8 +118,10 @@
output: output,
);
},
- retryIf: (Exception e) => e is github.GitHubError || e is SocketException,
- onRetry: (Exception e) => log.warning('createCheckRun fails for slug: ${slug.fullName}, sha: $sha, name: $name'),
+ retryIf: (Exception e) => true,
+ onRetry: (Exception e) => log.warning(
+ 'createCheckRun fails for slug: ${slug.fullName}, sha: $sha, name: $name. Exception: ${e.toString()}',
+ ),
);
}