chore: Add copilot instructions and skills for building and testing plugins#1303
Open
mofojed wants to merge 3 commits intodeephaven:mainfrom
Open
chore: Add copilot instructions and skills for building and testing plugins#1303mofojed wants to merge 3 commits intodeephaven:mainfrom
mofojed wants to merge 3 commits intodeephaven:mainfrom
Conversation
mofojed
added a commit
to mofojed/deephaven-plugins
that referenced
this pull request
Feb 12, 2026
- Separated into its own PR: deephaven#1303
dsmmcken
requested changes
Feb 12, 2026
Contributor
dsmmcken
left a comment
There was a problem hiding this comment.
-
What testing did you do? I assume you tried asking for various things and the skills helped?
-
I think copilot-instructions.md should be an AGENTS.md, that seems to be the preferred approach now no?
- Just use an AGENTS.md file - Update the skills so that the source .venv is a general rule for launching a terminal - Update the settings.json so that we allow tox to be run automatically
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Tested by running the following prompts:
npm run dockerinstead