+
+
+ Total Tests:
+ {{ result_total }}
+
+
+ {% if include.extime %}
+ Exec Time:
+ {{ include.extime }}
+ {% endif %}
+
+
+
+
+
+ Passed:
+ {{ include.pass }} ({{ pass_percent }}%)
+
+
+ Expected Failure:
+ {{ include.expectedfail }} ({{ expectedfail_percent }}%)
+
+
+ Skipped:
+ {{ include.skip }} ({{ skip_percent }}%)
+
+
+
+
+
+
+{% endif %}
diff --git a/_layouts/benchmarks.html b/_layouts/benchmarks.html
new file mode 100644
index 000000000..bc6704a72
--- /dev/null
+++ b/_layouts/benchmarks.html
@@ -0,0 +1,68 @@
+---
+layout: default
+---
+
+
+
+ {{ 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 -%}
+