Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Upgrade linter, add timeout #72

Merged
merged 1 commit into from
Apr 11, 2023
Merged

Upgrade linter, add timeout #72

merged 1 commit into from
Apr 11, 2023

Conversation

hariso
Copy link
Contributor

@hariso hariso commented Apr 11, 2023

Description

Quick checks:

  • I have followed the Code Guidelines.
  • There is no other pull request for the same
    update/change.
  • I have written unit tests.
  • I have made sure that the PR is of reasonable size and can be easily reviewed.

@hariso hariso requested a review from a team as a code owner April 11, 2023 12:12
@hariso hariso merged commit 6b7bce2 into main Apr 11, 2023
@hariso hariso deleted the haris/linter-timeout branch April 11, 2023 12:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@maha-hajja maha-hajja maha-hajja approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@hariso @maha-hajja