search

ocaml-gospel / ortac

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

Update the OPAM packages #160

Closed shym closed 1 year ago

shym commented 1 year ago

This is incomplete at the moment.

Closes #159

shym commented 1 year ago

This is now in a good shape, I think, it can be reviewed. As some fields are just moved around, --color-moved=dimmed-zebra (for instance) can be helpful to review.

shym commented 1 year ago

Good points! I added the link to the documentation for the 3 packages to be released. And took the “based on Gospel” out of its parentheses, I agree it makes more sense that way. I also like the idea that the synopsis of ortac-core really mentions Gospel. I wondered whether the other packages should also have it appear in their synopsis, I wasn’t so sure.

shym commented 1 year ago

After a last complete run, I removed the CI part that torture-test the installation of the opam packages, as that’s of little interest besides preparing for an upcoming release. I think this is ready for release now.