aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Admission.mli (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-10-09admission protocol for multigroup denial checksMarcos Magueta1-2/+3
2026-09-25dune fmtMarcos Magueta1-2/+0
2026-09-17WIP forsake contextEstevan Castilho1-3/+2
2026-09-11enumerable protocolMarcos Magueta1-0/+13