Review_mode (p.crs.0.0.20250914.doc.crs.crs-cli.Crs_cli.Private.Review

Module Private.Review_modeSource

Review_mode.t describes the context in which the 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:

Pull_request: The workflow is running in the context of a pull request, and the author is the user who opened the PR. We are in the process of requiring the base revision of the PR, but currently are supporting older workflow that do not supply it. We expect the base to be supplied by the most up to date clients.

Revision: The workflow is running in the vcs tree checked out at a specific revision and there is no specific PR.

There exists a natural mapping between the event kinds that are triggering GitHub Actions Workflows and this review mode. Namely:

github.event_name == 'pull_request': This is a pull request event and maps to the Pull_request review mode.

github.event_name == 'push': Jobs triggered on a 'push' event are best run in Revision review mode. In this mode, workflows run in the tree checked out at a specific revision, but the context is not tied to a particular pull request.

Sourcetype t =

| Pull_request of {
1. author : Volgo_base.Vcs.User_handle.t;
2. base : Volgo_base.Vcs.Rev.t Base.option;
}
| Revision

include Ppx_compare_lib.Equal.S with type t := t

Sourceval equal : t -> t -> bool

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

Sourceval arg : emit_github_annotations:Base.bool -> t Cmdlang.Command.Arg.t

Build a t from parsing arguments in the command line. For convenience and help users discover warnings during CI runs, this can optionally include CI warnings on stderr for GitHub, using workflow annotations. To activate, supply emit_github_annotations:true.