diff options
Diffstat (limited to 'AGENTS.md')
| -rw-r--r-- | AGENTS.md | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -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): |
