Code

Add a quiet flag#179

Code

Merged

shym merged 3 commits intoocaml-gospel:mainocaml-gospel/ortac:mainfrom n-osborne:quiet-flagn-osborne/ortac:quiet-flagCopy head branch name to clipboardNov 15, 2023

+14-6

Commits

Commits on Nov 14, 2023

• Expose a quiet flag argument in registration

  Show description for a2e5414
  n-osborne

  committed
  a2e5414

  Copy full SHA for a2e5414

• Add the quiet flag to ortac-qcheck-stm

  n-osborne

  committed
  d8d347b

  Copy full SHA for d8d347b

• Update changelog

  n-osborne

  committed
  623de6d

  Copy full SHA for 623de6d