From ff6ad25b9b77e5ab73f41db04335a4da316c49e8 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 3 Mar 2026 21:52:01 +0530 Subject: [PATCH] More copilot instructions --- .github/copilot-instructions.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 1ccd9e51c..cca21a159 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -12,11 +12,14 @@ - To build individual kittens use the build command above **do not** try to run go build yourself. +Once a build is done, the kitty and kitten binaries will be in the `kitty/launcher` directory. +Note that the kitty binary can run python files using `kitty +launch file.py`. +When it does so the kitty fast_data_types module is available to the python +code. + ## Test Procedures - To run the complete test suite, run `./test.py` - To run a specific test, run `./test.py test-name` t `test-name` is the name of the test without the leading `test_` for Python tests and without the leading `Test` for Go tests. -## Benchmarking -- To run the benchmark: `./benchmark.py`