[OCaml] High Intensity Training Online
docs document isolated Dune builds
Keep agent validation out of the default _build directory used by the persistent watcher and standardize the _build-agent commands.
.kiro/steering/workflow.md
@@ -45,3 +45,15 @@
45
45
- A module header says what the module is for and which invariant it upholds.
46
46
- No Markdown files unless asked.
47
47
- Don't restate the signature in prose. Document the *why* and the edge cases.
48
Added:
49
Added:
50
Added:
## Build directory safety
51
Added:
52
Added:
Never use the default Dune build directory. A persistent `dune exec -w ogit` process may use `_build`.
53
Added:
54
Added:
Use these commands instead:
55
Added:
56
Added:
- `dune build --build-dir _build-agent`
57
Added:
- `dune runtest --build-dir _build-agent`
58
Added:
59
Added:
Do not run `dune clean` on the default `_build` directory.