Delete generated registry at the end of the script - allows for local…

… execution without always having to manually delete the file.
theref · Aug 23, 2024 · c24f375 · c24f375
1 parent a7ce192
commit c24f375
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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()