Add local pipeline demo launcher

2026-07-24 17:13:26 +03:00
parent 8b738efd5d
commit 5a1414bee9
5 changed files with 216 additions and 1 deletions
@@ -0,0 +1,12 @@
+.PHONY: demo-ui demo-down demo-logs
+
+# Convenient entry points from the repository root. Extra settings are passed
+# through, for example: make demo-ui DEMO_WORKERS=3
+demo-ui:
+	$(MAKE) -C coordinator demo-ui
+
+demo-down:
+	$(MAKE) -C coordinator demo-down
+
+demo-logs:
+	$(MAKE) -C coordinator demo-logs