Create web/content/results directory

SMT-COMP · Jul 10, 2024 · 175bcd5 · 175bcd5
1 parent d4e1115
commit 175bcd5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/smtcomp/generate_website_page.py b/smtcomp/generate_website_page.py
@@ -210,6 +210,7 @@ def info_for_podium_step(kind: smtcomp.scoring.Kind, config: defs.Config, result
 def export_results(config: defs.Config, selection: pl.LazyFrame, results: pl.LazyFrame) -> None:
 
     dst = config.web_results
+    dst.mkdir(parents=True, exist_ok=True)
 
     results = results.collect().lazy()