Skip to content

feat(skills): add verify-mention-queue, a TLA+ model of the @mention queue - #523

Merged
ThomasK33 merged 27 commits into
mainfrom
skills/verify-mention-queue
Nov 12, 2026
Merged

feat(skills): add verify-mention-queue, a TLA+ model of the @mention queue#523
ThomasK33 merged 27 commits into
mainfrom
skills/verify-mention-queue

fix(skills): count a mention replay as kept only when its Neovim also…

06ccb52
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar