quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Use `parallel --embed` to drop the dep. on gnu parallel for the `examples/README.md`

Open shonfeder opened this issue 1 year ago • 0 comments

Suggested in https://github.com/informalsystems/quint/pull/1005#issuecomment-1630926781

shonfeder avatar Jul 11 '23 17:07 shonfeder