Skip to content

docs: update CONTRIBUTING.md for stellar CLI migration - #130

Closed
tensorworkerr wants to merge 1 commit into
runtimeverification:masterfrom
tensorworkerr:fix/update-contributing-stellar-cli
Closed

tensorworkerr wants to merge 1 commit into
runtimeverification:masterfrom
tensorworkerr:fix/update-contributing-stellar-cli

Commits

Commits on Oct 1, 2026