Skip to content

Conversation

GeoDaoyu
Copy link
Contributor

Resolves #6867.

Description

What is the purpose of this pull request?

This pull request:

  • fix EditorConfig lint errors

Related Issues

Does this pull request have any related issues?

This pull request:

Questions

Any questions for reviewers of this pull request?

No.

Other

Any other information relevant to this pull request? This may include screenshots, references, and/or implementation notes.

No.

Checklist

Please ensure the following tasks are completed before submitting this pull request.


@stdlib-js/reviewers

@stdlib-bot stdlib-bot added Needs Review A pull request which needs code review. Good First PR A pull request resolving a Good First Issue. labels Apr 30, 2025
@stdlib-bot
Copy link
Contributor

Coverage Report

No coverage information available.

Copy link
Member

@Planeshifter Planeshifter left a comment

Choose a reason for hiding this comment

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

Thanks!

@Planeshifter Planeshifter added the Ready To Merge A pull request which is ready to be merged. label Apr 30, 2025
@stdlib-bot stdlib-bot removed the Needs Review A pull request which needs code review. label Apr 30, 2025
@stdlib-bot
Copy link
Contributor

PR Commit Message

chore: fix EditorConfig lint errors (issue #6867)

PR-URL: https://github.com/stdlib-js/stdlib/pull/6869
Closes: https://github.com/stdlib-js/stdlib/issues/6867

Co-authored-by: zhanggy <[email protected]>
Reviewed-by: Philipp Burckhardt <[email protected]>

Please review the above commit message and make any necessary adjustments.

@Planeshifter Planeshifter merged commit ddff844 into stdlib-js:develop Apr 30, 2025
64 of 66 checks passed
@GeoDaoyu GeoDaoyu deleted the Fix/EditorConfig6867 branch April 30, 2025 01:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Good First PR A pull request resolving a Good First Issue. Ready To Merge A pull request which is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix EditorConfig lint errors

3 participants