implement retry #6

Merged
r389li merged 1 commits from y266shen/mirror-checker:feature-retry into master 6 months ago
Owner

main: retry 3 times before reporting errors

  • modify check_project function so that it returns error reason
    string or returns None
  • add some type annotations
main: retry 3 times before reporting errors - modify `check_project` function so that it returns error reason string or returns None - add some type annotations
y266shen added 1 commit 6 months ago
76f7863a85
main: retry 3 times before reporting errors
r389li merged commit 4a3cedfb07 into master 6 months ago
The pull request has been merged as 4a3cedfb07.
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: public/mirror-checker#6
Loading…
There is no content yet.