Skip to content

update metadata and fmt dune-project#455

Merged
filipeom merged 1 commit intoformalsec:mainfrom
redianthus:metadata
Nov 21, 2025
Merged

update metadata and fmt dune-project#455
filipeom merged 1 commit intoformalsec:mainfrom
redianthus:metadata

Commits

Commits on Nov 21, 2025