chore: deploy the site when manifest fields change

This commit is contained in:
Abdessamad Derraz committed 2026-10-10 05:29:38 +02:00
1 parent 20ba21c710
commit 4de21e1157
1 file changed
+1
+1
View File
@@ -22,6 +22,7 @@ on:
- "scripts/hashing.py"
- "scripts/largefiles.py"
- "scripts/list_platforms.py"
- "scripts/manifestselect.py"
- "scripts/nativemode.py"
- "scripts/packextras.py"
- "scripts/packpaths.py"