Skip to content

Integrate js-lint and removing old linting elements #147

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
Merged
merged 2 commits into from
May 9, 2025
Merged

Integrate js-lint and removing old linting elements #147

merged 2 commits into from
May 9, 2025

Conversation

CDeltakai
Copy link
Contributor

@CDeltakai CDeltakai commented Apr 22, 2025 •
edited
Loading

Description

This PR integrates the new js-lint package and removes old linting elements

Issues Fixed

Tasks

  • 1. Integrate js-lint and ensure it works as expected.
  • 2. Remove old linting elements as they are no longer needed.

Final checklist

  • Domain specific tests
  • Full tests
  • Updated inline-comment documentation
  • Lint fixed
  • Squash and rebased
  • Sanity check the final build

@CDeltakai CDeltakai self-assigned this May 9, 2025
@CDeltakai CDeltakai merged commit d3e6e3e into staging May 9, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@CDeltakai CDeltakai

Labels

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

js-quic: Integrate js-lint

1 participant

@CDeltakai