Up – Package index » crs » Library crs.crs-cli » Crs_cli » Private » Github_annotation

Module `Private.Github_annotation`Source

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

Source

val 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".