From fc0e252d924261c17d5cb9db458308a87210a836 Mon Sep 17 00:00:00 2001 From: Gabe Berke-Williams Date: Sun, 21 Sep 2025 11:45:20 -0700 Subject: [PATCH] Add DEVELOPING.md explaining the process --- DEVELOPING.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 DEVELOPING.md diff --git a/DEVELOPING.md b/DEVELOPING.md new file mode 100644 index 0000000..1aa7fed --- /dev/null +++ b/DEVELOPING.md @@ -0,0 +1,19 @@ +# Development + +1. First, make sure tests run locally without any changes: + + ``` + make all + ``` + +2. Make your changes to the code. + +3. Please include tests with your changes. You can see examples in the `test/` directory. + +4. Make sure your new tests pass: + + ``` + make all + ``` + +5. Make a PR.