ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
128 stars 16 forks source link

Add a Github Action CI workflow to run all the tests #329

Closed shym closed 1 year ago

shym commented 1 year ago

This PR adds a new CI workflow that runs all the tests in an action.

The goals are to:

This should provide a more reliable way to avoid broken states than what #327 tried to introduce.