results: Use jsmin to minify data.js

Internal-tag: [#39412]
Signed-off-by: Robert Winkler <rwinkler@antmicro.com>

Author: rw1nkler

results/generate_html.py

@@ -28,6 +28,7 @@
 
 import jinja2
 from argparse import ArgumentParser
+from jsmin import jsmin
 import os
 
 from generate_index_page import generate_index_html
@@ -82,7 +83,7 @@ def main():
 
         os.makedirs(data_dir, exist_ok=True)
         with open(os.path.join(data_dir, 'data.js'), 'w') as out_file:
-            out_file.write(data_page)
+            out_file.write(jsmin(data_page))
 
 
 if __name__ == "__main__":

results/requirements.txt

@@ -1,3 +1,4 @@
+jsmin==3.0.1
 -r ../conf/requirements.txt
 -e ../