ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
37 stars 10 forks source link

update ocamlformat #185

Closed n-osborne closed 9 months ago

n-osborne commented 9 months ago

Wait for #183 to be merged

n-osborne commented 9 months ago

CI failure is unrelated. Merging