search

freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Apache License 2.0
10 stars 0 forks source link

Fix devcontainer #69

Closed thpani closed 1 month ago

thpani commented 1 month ago

Fix permission issues in the rust devcontainer documented here: https://github.com/devcontainers/images/issues/851

Also install the correct version of soroban-cli for current Testnet.