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

Update alert contract deployment script #102

Closed Kukovec closed 6 days ago

Kukovec commented 2 weeks ago

Also check that verify correctly posts alerts.

Kukovec commented 2 weeks ago

verify successfully alerted: https://stellar.expert/explorer/testnet/contract/CBCBPQGGHU3KF37KMVSXROYHHRO2PHCTOPV2CC4GRE6P3HAFMH5BHK2K

thpani commented 6 days ago

See #103