The args file to the prove CLI must now be textual nock term#3253

Merged

paulcadman merged 1 commit intomainfrom prove-text-term-nock

Dec 19, 2024

+24-5

Commits on Dec 19, 2024

The args file to the prove CLI is always a textual nock term
paulcadman
committed