search

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 to version 0.26.0 #130

Closed shym closed 1 year ago

n-osborne commented 1 year ago

CI failure is unrelated (and weird). I'm merging.