Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ make TEST="pattern" test # Run tests matching regex
make coverage # Show uncovered lines
make fmt # Format rego (run before every commit)
make lint # Regal linter + license headers
make ci # Full CI: test + acceptance + fmt-check + lint + opa-check + conventions-check + generate-docs
make ci # Full CI: quiet-test + acceptance + opa-check + conventions-check + fmt-check + lint + regal-test + generate-docs

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[medium] protected-path

This PR modifies AGENTS.md, which is a protected governance/infrastructure file. The PR links to issue #1782 and explains the rationale (correcting inaccurate make ci description). The fix is verified accurate against the Makefile ci target. Human approval is always required for protected-path changes, regardless of context.

make generate-docs # Regenerate Antora docs from annotations (commit changed files)
```

Expand Down
Loading