lean-cli
lean-cli copied to clipboard
Check if Cloud IDE Open On Cloud Sync
Pushing to cloud is risky why cloud IDE is open. Need to force reload of the LEAN CLI data; or deny the sync request.