From 1934b5c8377e8811e197ce6fad9fa9824dd7d4dc Mon Sep 17 00:00:00 2001 From: Lee Dogeon Date: Sun, 18 Jan 2026 00:48:04 +0900 Subject: [PATCH 1/2] Add criterion-metadata.json manually --- _data/criterion-metadata.json | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 _data/criterion-metadata.json diff --git a/_data/criterion-metadata.json b/_data/criterion-metadata.json new file mode 100644 index 00000000..c65d3056 --- /dev/null +++ b/_data/criterion-metadata.json @@ -0,0 +1,5 @@ +{ + "generated_at": "2026-01-07T14:06:57Z", + "rustpython_commit": "c490a357fd54d578ae92681b8b1b4bae5006d843", + "rustpython_ref": "main" +} From 285df5ada3e02170bace5794e02d265dfbaca855 Mon Sep 17 00:00:00 2001 From: Lee Dogeon Date: Sun, 18 Jan 2026 02:00:59 +0900 Subject: [PATCH 2/2] Render criterion metadata --- _layouts/benchmarks.html | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/_layouts/benchmarks.html b/_layouts/benchmarks.html index bc6704a7..4e21f4be 100644 --- a/_layouts/benchmarks.html +++ b/_layouts/benchmarks.html @@ -22,6 +22,14 @@ {{ content }} + {% assign metadata = site.data["criterion-metadata"] %} +
+ + Generated: {{ metadata.generated_at | date: "%Y-%m-%d %H:%M" }} UTC + | RustPython commit: {{ metadata.rustpython_commit | truncate: 7, "" }} + +
+ {% assign folders = "" | split: ", " %} {% for folder in site.static_files %} {% if folder.path contains 'criterion/' %}