diff --git a/sel4bench/build.py b/sel4bench/build.py index 02028ffd..0b2890c5 100644 --- a/sel4bench/build.py +++ b/sel4bench/build.py @@ -322,7 +322,7 @@ def gen_web(runs: List[Run], yml, file_name: str): f.write(f"