package crs
A tool for managing code review comments embedded in source code
Install
Dune Dependency
Authors
Maintainers
Sources
crs-0.0.20250705.tbz
sha256=e9f9f5ec5aea9658ed640aaa06f887985bb6870adcf7555ebf6d48bb741e4793
sha512=901ac1caae6c4103a320b4a3a177ca3aa0583ad533c54e7740aba6652ccdbd6311d07ab4b73e3ba750beed24f85479b5e1b0e94504ecfd0c59bd49cdabebc369
doc/crs.crs-cli/Crs_cli/Private/Github_annotation/index.html
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.
Source
val create :
loc:Loc.t ->
severity:Severity.t ->
title:Base.string ->
message:Base.string ->
t
Serialize
Create the syntax to be produced by log lines, without the trailing "\n".
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page