package crs
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_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