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

chore: add types for nanobench #441

Merged
merged 1 commit into from
Jan 19, 2024
Merged

chore: add types for nanobench #441

merged 1 commit into from
Jan 19, 2024

Conversation

EvanHahn
Copy link
Contributor

Types for nanobench were recently added to DefinitelyTyped, so we can use them.

The benchmarks directory is not currently type-checked, so this change has no impact, but it should make it easier to type-check in the future.

Types for nanobench were [recently added to DefinitelyTyped][0], so we
can use them.

The `benchmarks` directory is not currently type-checked, so this change
has no impact, but it should make it easier to type-check in the future.

[0]: DefinitelyTyped/DefinitelyTyped#68221
Copy link
Member

@achou11 achou11 left a comment

Choose a reason for hiding this comment

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

awesome!

@EvanHahn EvanHahn merged commit 5820d12 into main Jan 19, 2024
7 checks passed
@EvanHahn EvanHahn deleted the @types/nanobench branch January 19, 2024 02:15
EvanHahn added a commit to digidem/multi-core-indexer that referenced this pull request Jan 19, 2024
Types for nanobench were [recently added to DefinitelyTyped][0], so we
can use them.

The `benchmarks` directory is not currently type-checked, so this change
primarily impacts editor tools.

Similar to [another change in mapeo-core-next][1].

[0]: DefinitelyTyped/DefinitelyTyped#68221
[1]: digidem/mapeo-core-next#441
EvanHahn added a commit to digidem/multi-core-indexer that referenced this pull request Jan 25, 2024
Types for nanobench were [recently added to DefinitelyTyped][0], so we
can use them.

The `benchmarks` directory is not currently type-checked, so this change
primarily impacts editor tools.

Similar to [another change in mapeo-core-next][1].

[0]: DefinitelyTyped/DefinitelyTyped#68221
[1]: digidem/mapeo-core-next#441
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.

None yet

2 participants