lava-dashboard-tool has been consolidated into lava-tool. Would you mind trying with lava-tool, and see if you can reproduce?
lava-dashboard-tool has been consolidated into lava-tool. Would you mind trying with lava-tool, and see if you can reproduce?