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.

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

Fix typing in rocky and few other places #2519

Merged
merged 6 commits into from
Feb 19, 2024
Merged

Fix typing in rocky and few other places #2519

merged 6 commits into from
Feb 19, 2024

Conversation

dekkers
Copy link
Contributor

@dekkers dekkers commented Feb 16, 2024

Changes

This fixes typing in Rocky and fixes typing in a few other places because a few mypy options have been turned on.

Issue link

#2116 (Not closing, beause octopoes still needs to be done.


Checklist for code reviewers:

Copy-paste the checklist from the docs/source/templates folder into your comment.


Checklist for QA:

Copy-paste the checklist from the docs/source/templates folder into your comment.

@dekkers dekkers requested a review from a team as a code owner February 16, 2024 16:42
@dekkers dekkers self-assigned this Feb 16, 2024
ammar92
ammar92 previously approved these changes Feb 16, 2024
ammar92
ammar92 previously approved these changes Feb 19, 2024
Copy link
Contributor

@ammar92 ammar92 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Checklist for QA:

  • I have checked out this branch, and successfully ran a fresh make reset.
  • I confirmed that there are no unintended functional regressions in this branch:
    • I have managed to pass the onboarding flow
    • Objects and Findings are created properly
    • Tasks are created and completed properly
  • I confirmed that the PR's advertised feature or hotfix works as intended.

What works:

  • Seems to work

@underdarknl underdarknl merged commit f379f75 into main Feb 19, 2024
26 checks passed
@underdarknl underdarknl deleted the fix-typing branch February 19, 2024 17:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants