make tre-destroy script fails when Databricks has been installed on a workspace as it tries to delete the databricks managed resource group directly, rather than deleting the Databricks resource (which itself then deletes the managed resource group).
Extend the make tre-destroy script to specifically look for TRE deployed databricks instances and delete them, before deleting the resource groups.
make tre-destroyscript fails when Databricks has been installed on a workspace as it tries to delete the databricks managed resource group directly, rather than deleting the Databricks resource (which itself then deletes the managed resource group).Extend the
make tre-destroyscript to specifically look for TRE deployed databricks instances and delete them, before deleting the resource groups.