www: Add kernel version to benchmark page name.

trailofbits · Sep 20, 2024 · d015f04 · d015f04
1 parent 4e083f6
commit d015f04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/www/mkdocs.yml b/www/mkdocs.yml
@@ -28,7 +28,7 @@ nav:
   - Benchmarks:
     - LLVM Single Source: Benchmarks/single-source-results.md
     - SV-Comp: Benchmarks/sv-comp-results.md
-    - Linux Kernel: Benchmarks/linux_kernel_times.md
+    - Linux Kernel 6.11: Benchmarks/linux_kernel_times.md
   - About:
     - 'License': 'statement.md'