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/index.html
Module Crs_cli.Private
Source
A type to hold information about a CR that is assigned in the ci event (pull request or push to ongoing branch).
A type to hold declarative values to configure crs commands for a given repository.
GitHub Annotations are created when encountering special log lines produced by actions during workflow executions.
Review_mode.t
describes the context in which CR assignment and annotation logic is executed. This is not strictly tied to the CI event that triggered the workflow, but rather to the review/assignment semantics:
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>