summaryrefslogtreecommitdiff
path: root/AGENTS.md
diff options
context:
space:
mode:
Diffstat (limited to 'AGENTS.md')
-rw-r--r--AGENTS.md15
1 files changed, 15 insertions, 0 deletions
diff --git a/AGENTS.md b/AGENTS.md
index e30b01a..9450a0a 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -316,6 +316,7 @@ repl.sh --bash Omni/Log.py # Start bash shell for namespace
1. **Test interface**: Every program must accept `test` as a first argument to run its test suite
2. **Entrypoint naming**: The entrypoint for every program shall be called `main`
+3. **Always include tests**: Every new feature and bug fix must include tests. No code should be committed without corresponding test coverage
## Git Workflow
@@ -380,6 +381,20 @@ git submit
3. **Rebase and clean up history** - Use `git commit --amend` and `git restack` to keep history clean
4. **Test before committing** - Run `bild --test` and `lint` on affected namespaces
+### Required Checks Before Completing Tasks
+
+After completing a task, **always** run these commands for the namespace(s) you modified:
+
+```bash
+# Run tests
+bild --test Omni/YourNamespace.hs
+
+# Run linter
+lint Omni/YourNamespace.hs
+```
+
+**Fix all reported errors** related to your changes before marking the task as complete. This ensures code quality and prevents breaking the build for other contributors.
+
## Future Enhancements
Planned features (not yet implemented):