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/Github_annotation/index.html

Module Private.Github_annotationSource

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

Examples:

 ::notice file={name},line={line},endLine={endLine},title={title}::{message}
 ::warning file={name},line={line},endLine={endLine},title={title}::{message}

This module allow creating and producing workflow commands that can create annotations.

Sourcemodule Severity : sig ... end
Sourcetype t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval create : loc:Loc.t -> severity:Severity.t -> title:Base.string -> message:Base.string -> t

Serialize

Sourceval to_string : t -> Base.string

Create the syntax to be produced by log lines, without the trailing "\n".

On This Page
  1. Serialize