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

… execution without always having to manually delete the file.
derekpierre · Aug 23, 2024 · e561ad6 · e561ad6
1 parent a86d5bd
commit e561ad6
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()