www: Add gzip benchmarks.

trailofbits · Nov 1, 2024 · d4f40a8 · d4f40a8
1 parent 96a09a6
commit d4f40a8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/www/mkdocs.yml b/www/mkdocs.yml
@@ -29,6 +29,7 @@ nav:
     - LLVM Single Source: Benchmarks/single-source-results.md
     - SV-Comp: Benchmarks/sv-comp-results.md
     - Linux Kernel 6.11: Benchmarks/linux_kernel_times.md
+    - GZIP: Benchmarks/gzip_times.md
   - About:
     - 'License': 'statement.md'
 

diff --git a/www/setup.sh b/www/setup.sh
@@ -50,6 +50,7 @@ fi
 cp -rv $(pwd)/llvm-test-suite-results/single-source-results.md $dst/docs/Benchmarks/
 cp -rv $(pwd)/sv-comp-results/sv-comp-results.md $dst/docs/Benchmarks/
 cp -rv $(pwd)/linux_kernel_times/linux_kernel_times.md $dst/docs/Benchmarks/
+cp -rv $(pwd)/gzip_times/gzip_times.md $dst/docs/Benchmarks/
 
 # Setup site assets
 cp -rv $(pwd)/www/assets $dst