Add time when the website was generated

tools/performance/engine-benchmarks/bench_download.py

@@ -275,6 +275,7 @@ def _parse_bench_source(_bench_source: str) -> Source:
         bench_datas=template_bench_datas,
         bench_source=bench_source,
         branches=branches,
+        timestamp=datetime.now()
     )
 
     # Render Jinja template with jinja_data

tools/performance/engine-benchmarks/bench_tool/__init__.py

@@ -213,6 +213,8 @@ class JinjaData:
     until: datetime
     display_since: datetime
     """ The date from which all the datapoints are first displayed """
+    timestamp: datetime
+    """ The time when the website was generated """
 
 
 

tools/performance/engine-benchmarks/bench_tool/website.py

@@ -60,6 +60,7 @@ async def generate_bench_website(
         bench_datas=template_bench_datas,
         bench_source=bench_source,
         branches=[BRANCH_DEVELOP],
+        timestamp=datetime.now()
     )
     _logger.debug(f"Rendering HTML to {generated_html}")
     render_html(jinja_data, generated_html)

tools/performance/engine-benchmarks/templates/template_jinja.html

@@ -280,7 +280,7 @@ <h2 class="text-center">
       </p>
 
       <br />
-      Generated by the <code>bench_download.py</code> script.
+      Generated by the <code>bench_download.py</code> script in <code>{{ timestamp }}</code>.
     </div>
 
     <div id="top-panel" class="container">