Skip to content

fix lint errors #112

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

Merged
merged 1 commit into from
May 14, 2025
Merged

fix lint errors #112

merged 1 commit into from
May 14, 2025

Conversation

fealebenpae
Copy link
Contributor

Summary

Fix failing lint_repo task after merging #92.

Proof of Work

Lint task succeeds.

Checklist

  • Have you linked a jira ticket and/or is the ticket in the title?
  • Have you checked whether your jira ticket required DOCSP changes?
  • Have you checked for release_note changes?

Reminder (Please remove this when merging)

  • Please try to Approve or Reject Changes the PR, keep PRs in review as short as possible
  • Our Short Guide for PRs: Link
  • Remember the following Communication Standards - use comment prefixes for clarity:
    • blocking: Must be addressed before approval.
    • follow-up: Can be addressed in a later PR or ticket.
    • q: Clarifying question.
    • nit: Non-blocking suggestions.
    • note: Side-note, non-actionable. Example: Praise
    • --> no prefix is considered a question

@fealebenpae fealebenpae self-assigned this May 14, 2025
@fealebenpae fealebenpae requested a review from a team as a code owner May 14, 2025 08:01
@fealebenpae fealebenpae enabled auto-merge (squash) May 14, 2025 08:08
@fealebenpae fealebenpae merged commit 50ce0d9 into master May 14, 2025
8 of 9 checks passed
@fealebenpae fealebenpae deleted the fealebenpae/bad-lint branch May 14, 2025 08:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants