Killed a run halfway through. The next run fails immediately-ish with:
USER_POOL_EXHAUSTED: All 4 user(s) with role "standard" are leased.Nothing is running. .sdods/leases/demo-shop/staging/ has four .lock files in it, each with an owner and a timestamp from the run I killed.
Am I supposed to delete these by hand? It feels like the kind of thing that should not need a human, but I also do not want to delete a lock some other person's run is holding.