package crs

  1. Overview
  2. Docs
On This Page
  1. Serialize
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/Github_annotation/index.html

Module Std.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 to_dyn : t -> Crs_stdlib.Dyn.t
Sourceval create : loc:Loc.t -> severity:Severity.t -> title:string -> message:string -> t

Serialize

Sourceval to_string : t -> string

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