Getting Started Documentation

Organisations ocaml-gospel ortac

ortac

https://github.com/ocaml-gospel/ortac

Default Branch

Merge pull request #266 from n-osborne/update-github-action Update github action

Nov 03 23:04 +00:00

Passed in 17m23s

Refs Branches (2)

Extend tests of the QCheck-STM plugin

Update changelog

Nov 03 23:04 +00:00

Passed in 19m22s

Add command shrinker function

Update changelog

Nov 04 12:40 +00:00

Passed in 16m55s