implement retry #6

Merged
r389li merged 1 commits from y266shen/mirror-checker:feature-retry into master 2022-03-26 20:24:42 -04:00
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 2022-03-26 20:17:58 -04:00
76f7863a85
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
r389li merged commit 4a3cedfb07 into master 2022-03-26 20:24:42 -04:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: public/mirror-checker#6
No description provided.