package crs

  1. Overview
  2. Docs
A tool for managing code review comments embedded in source code

Install

dune-project
 Dependency

Authors

Maintainers

Sources

crs-0.0.20250914.tbz
sha256=dad0c46a83ef40da150d8b840b01c66af3b979dfa7c3e17c3edef38aa84b804f
sha512=d7a8b2a34f4a3ddda0eaaa3e4248ec2870f944a5d64782bd73b031637b01e94a378d7534b1c02da739f32343b342ed8e8bf491e6442a3bd7b0e748bd61c58770

doc/crs.crs-parser/Crs_parser/Private/index.html

Module Crs_parser.PrivateSource

Sourcemodule Crs_ignore : sig ... end

A .crs-ignore file allows listing files and directories that should be ignored when looking for CRs in the tree.

Sourcemodule Github_annotation : sig ... end

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

Sourcemodule Invalid_cr_parser : sig ... end

A module to help managing invalid CRs.

Sourcemodule User_message : sig ... end

A helper module to create user messages that may be highlighted by GitHub Annotations for accrued discoverability.