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

Conversation

@tensorworkerr

Copy link
Copy Markdown

CONTRIBUTING.md still referenced the deprecated stellar contract bindings json command and pinned to v23.1.3, but #112 migrated the codebase to stellar contract info interface (v26+).

This updates the install instructions and verification command to match the current code in kasmer.py.

CONTRIBUTING.md still referenced the deprecated `stellar contract bindings json`
command and pinned to v23.1.3, but runtimeverification#112 migrated the codebase to
`stellar contract info interface` which requires v26+. Update the
install instructions and verification command accordingly.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant