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/index.html
Module Crs_parser.Private
Source
A .crs-ignore
file allows listing files and directories that should be ignored when looking for CRs in the tree.
GitHub Annotations are created when encountering special log lines produced by actions during workflow executions.
A module to help managing invalid CRs.
A helper module to create user messages that may be highlighted by GitHub Annotations for accrued discoverability.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>