Skip to content

chore: fix EditorConfig lint errors in ceil10 manifest (issue #13113)#13115

Open
NotFoundOvO wants to merge 1 commit into
stdlib-js:developfrom
NotFoundOvO:fix/editorconfig-ceil10
Open

chore: fix EditorConfig lint errors in ceil10 manifest (issue #13113)#13115
NotFoundOvO wants to merge 1 commit into
stdlib-js:developfrom
NotFoundOvO:fix/editorconfig-ceil10

Conversation

@NotFoundOvO

@NotFoundOvO NotFoundOvO commented Jun 25, 2026

Copy link
Copy Markdown

fixes the 2 indentation errors flagged by the editorconfig linter in the ceil10 manifest — the first dependency line in both the benchmark and examples confs had 7 spaces instead of 8.

resolves #13113

@NotFoundOvO NotFoundOvO requested a review from a team June 25, 2026 02:12
@stdlib-bot stdlib-bot added Math Issue or pull request specific to math functionality. First-time Contributor A pull request from a contributor who has never previously committed to the project repository. and removed First-time Contributor A pull request from a contributor who has never previously committed to the project repository. labels Jun 25, 2026
@stdlib-bot

Copy link
Copy Markdown
Contributor

Hello! Thank you for your contribution to stdlib.

We noticed that the contributing guidelines acknowledgment is missing from your pull request. Here's what you need to do:

  1. Please read our contributing guidelines.

  2. Update your pull request description to include this checked box:

    - [x] Read, understood, and followed the [contributing guidelines](https://github.com/stdlib-js/stdlib/blob/develop/CONTRIBUTING.md)

This acknowledgment confirms that you've read the guidelines, which include:

  • The developer's certificate of origin
  • Your agreement to license your contributions under the project's terms

We can't review or accept contributions without this acknowledgment.

Thank you for your understanding and cooperation. We look forward to reviewing your contribution!

@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 Jun 25, 2026
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. Math Issue or pull request specific to math functionality. Needs Review A pull request which needs code review.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix EditorConfig lint errors

3 participants