+
+ {{ content }}
+
+
+ {% assign folders = "" | split: ", " %}
+ {% for folder in site.static_files %}
+ {% if folder.path contains 'criterion/' %}
+ {% unless folder.path contains 'criterion/data/' %}
+ {% assign temp = folder.path | split: 'criterion/' %}
+ {% assign directoryName = temp[1] | split: '/' | first %}
+ {% assign pathName = 'criterion/' | append: directoryName %}
+ {% assign pathNameArray = pathName | split: ", " %}
+ {% assign folders = folders | concat: pathNameArray %}
+ {% endunless %}
+ {% endif %}
+ {% endfor %}
+ {% comment %}folders = ['criterion/execution', 'criterion/microbenchmarks', ...]{% endcomment %}
+ {% assign folders = folders | uniq %}
+
+ {% if folders.size == 0 %}
+
There are no benchmarks to be displayed.
+
This shouldn't be happening, please contact one of the maintainers
+ through Discord to report this problem.
+ {% else %}
+
+
+ {% for folder in folders %}
+ -
+
+ {% for image in site.static_files %}
+ {% if image.path contains folder %}
+
+
+ {{ image.name }}
+
+ {% endif %}
+ {% endfor%}
+
+ {% endfor%}
+
+ {% endif %}
+
diff --git a/_layouts/default.html b/_layouts/default.html
index 58e141b74..d3f87a773 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -15,6 +15,7 @@
{%- include footer.html -%}
+