copilot-instructions #5719
copilot-instructions #5719
Conversation
There was a problem hiding this comment.
Pull Request Overview
This PR introduces a new documentation file that outlines guidelines for using GitHub Copilot with the RustPython project. The file covers an overview of the project, repository structure, development notes, coding guidelines, integration examples, and build instructions.
- Added a new file (.github/workflows/copilot-instructions.md) with detailed instructions.
- Detailed sections include project overview, testing, integration between Rust and Python, and build commands.
Comments suppressed due to low confidence (1)
.github/workflows/copilot-instructions.md:164
- Confirm that the target triple 'wasm32-wasip1' is correct; if this is a typo, consider updating it to the intended triple (e.g., 'wasm32-wasi').
cargo build --target wasm32-wasip1 --no-default-features --features freeze-stdlib,stdlib --release
2dfba99 to
0447377
Compare
|
According to https://docs.github.com/en/copilot/customizing-copilot/adding-repository-custom-instructions-for-github-copilot it seems like it's supposed to be |
0447377 to
cb0d31d
Compare
|
huh, Copilot review is so useless not to catch this |
it is indeed! is there any way to use claude? |
|
I never used, so this is not a recommendation. |
If you have change requests, do not manually edit the file but ask a language model to add the contents you want to add. That affect machine-readability.