summaryrefslogtreecommitdiff
path: root/AGENTS.md
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2026-03-03 13:12:31 +0200
committerPaul Buetow <paul@buetow.org>2026-03-03 13:12:31 +0200
commit1d3a888c8db742ac5f2ba1c6cbb10603855dacb1 (patch)
treeb985275515e96f3cb45ee677c4255172255b3383 /AGENTS.md
parent6907c5db1125cc385694f1c4283144f7d03b020e (diff)
Add Codex PR review mage target
Diffstat (limited to 'AGENTS.md')
-rw-r--r--AGENTS.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/AGENTS.md b/AGENTS.md
index 36d2bb1..95f1228 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -16,6 +16,7 @@ mage integrationTest # Build + run integration tests (defa
INTEGRATION_PARALLEL=1 mage integrationTest # Force serial integration tests
mage generate # Generate code (required after modifying tracepoint definitions)
mage bench # Run benchmarks
+mage prReview # Run PR review baseline: world + benchProf
mage clean # Clean build artifacts
mage world # Clean + generate + test + build (recommended reset path)
```