Skip to content

[WIP] Add diagnostics for npd#79

Draft
kylebaron wants to merge 1 commit into
mainfrom
npd
Draft

[WIP] Add diagnostics for npd#79
kylebaron wants to merge 1 commit into
mainfrom
npd

Conversation

@kylebaron

@kylebaron kylebaron commented Jan 11, 2024

Copy link
Copy Markdown
Contributor

Everywhere we had something for NPDE add variant for NPD.

This currently uses the name NPD where we use NPD; we might call it NPDE too.

@kylebaron kylebaron changed the title Add diagnostics for npd [WIP] Add diagnostics for npd May 22, 2024
@kylebaron kylebaron marked this pull request as draft May 22, 2024 14:48
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.

1 participant