Skip to content

feat(notations): add user-extensible notations#985

Open
strub wants to merge 3 commits into
mainfrom
notations
Open

feat(notations): add user-extensible notations#985
strub wants to merge 3 commits into
mainfrom
notations

feat(notations): add user-extensible notations

421a078
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Fetch EasyCrypt External Projects Matrix
succeeded Apr 28, 2026 in 4s