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

Add Docker container #91

Open thpani opened 3 weeks ago

thpani commented 3 weeks ago

We currently have a devcontainer to support development.

To allow for easy testing by users, we should supply a docker image.

thpani commented 3 weeks ago

That should partially address #78