Quality of life improvements around testing

freespek / solarkraft

Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

Apache License 2.0

12 stars 0 forks source link

Closed thpani closed 3 months ago

thpani commented 4 months ago

Group all integration tests and run them independently of unit tests (reduces unit test time from 17s to 36ms)
Add new integration test command (npm run integration) to Github workflow