Skip to content

Conversation

@tsnobip
Copy link
Member

@tsnobip tsnobip commented Mar 17, 2025

Copy link
Member

@cknitt cknitt left a comment

Choose a reason for hiding this comment

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

Thanks a lot @tsnobip!

@tsnobip tsnobip requested a review from cknitt March 18, 2025 17:00
@tsnobip tsnobip merged commit 5f6ccf3 into master Mar 19, 2025
20 checks passed
@zth zth deleted the stdlib_ignore branch March 19, 2025 08:34
fhammerschmidt pushed a commit that referenced this pull request Apr 4, 2025
* add ignore for every stdlib type t (fixes rescript-lang/rescript-core#239)

* ignore generated_mocha_test for formatting
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.

Add ignore functions for each module

3 participants