A type to hold information about a CR that is assigned in the ci event (pull request or push to ongoing branch).

A type to hold declarative values to configure crs commands for a given repository.

GitHub Annotations are created when encountering special log lines produced by actions during workflow executions.

Review_mode.t describes the context in which CR assignment and annotation logic is executed. This is not strictly tied to the CI event that triggered the workflow, but rather to the review/assignment semantics: