From e561ad6b4e5112dd1e4dc0f665569bb3d84728dc Mon Sep 17 00:00:00 2001 From: derekpierre Date: Fri, 23 Aug 2024 07:43:14 -0400 Subject: [PATCH] Delete generated registry at the end of the script - allows for local execution without always having to manually delete the file. --- scripts/ci/deploy_child.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/ci/deploy_child.py b/scripts/ci/deploy_child.py index 89cd2cad..ab5c7ff8 100644 --- a/scripts/ci/deploy_child.py +++ b/scripts/ci/deploy_child.py @@ -40,3 +40,6 @@ def main(): ] deployer.finalize(deployments=deployments) + + # remove registry file now that task is complete + deployer.registry_filepath.unlink()