Load manifests from outside examples repo

ahelwer · ahelwer · commit a61fab60b6b8 · 2025-08-01T15:46:06.000-05:00
Signed-off-by: Andrew Helwer &lt;ahelwer@pm.me&gt;
diff --git a/.github/scripts/tla_utils.py b/.github/scripts/tla_utils.py
@@ -51,7 +51,7 @@ def load_all_manifests(examples_root):
     """
     return [
         load_json(manifest_path)
-        for manifest_path in glob.glob(f'specifications/*/manifest.json', root_dir=examples_root)
+        for manifest_path in glob.glob(from_cwd(examples_root, 'specifications/*/manifest.json'))
     ]
 
 def write_json(data, path):

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ def load_all_manifests(examples_root):`
`51`	`51`	`"""`
`52`	`52`	`return [`
`53`	`53`	`load_json(manifest_path)`
`54`		`- for manifest_path in glob.glob(f'specifications/*/manifest.json', root_dir=examples_root)`
	`54`	`+ for manifest_path in glob.glob(from_cwd(examples_root, 'specifications/*/manifest.json'))`
`55`	`55`	`]`
`56`	`56`
`57`	`57`	`def write_json(data, path):`