From 18d96dd31e8fd70d1933e6bfb68e79ab466b9cf7 Mon Sep 17 00:00:00 2001 From: thalassemia Date: Sun, 1 Dec 2024 23:56:28 -0800 Subject: [PATCH] Forgot to put runtime image name --- runscripts/workflow.py | 1 + 1 file changed, 1 insertion(+) diff --git a/runscripts/workflow.py b/runscripts/workflow.py index 816f14d5c..0cf446ff4 100644 --- a/runscripts/workflow.py +++ b/runscripts/workflow.py @@ -542,6 +542,7 @@ def main(): "--cwd", os.path.dirname(os.path.dirname(__file__)), "-e", + runtime_image_name, "make", "clean", "compile",