package crs

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

crs-0.0.20260307.tbz
sha256=77f77c61e908a6716fa876f5648f662ffaf7e24be4a7889fd6b53121592311bb
sha512=5fc6252650571c4127ebb1e61fecf78c5d4ce35e2832dff47125cda1448e07ea6d4da5e3a9a28643e3491d3594b0ee8857214241f98bd0296ada2c35ea8daa4b

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

Module Private.StdSource

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.