Merge pull request #1237 from nnethercote/webrender-wrench

Remove `webrender-wrench`

Author: nnethercote

.github/workflows/ci.yml

@@ -64,8 +64,8 @@ jobs:
     strategy:
       matrix:
         BENCH_INCLUDE_EXCLUDE_OPTS: [
-          "--exclude webrender-wrench,cargo-0.60.0",
-          "--include webrender-wrench,cargo-0.60.0",
+          "--exclude cargo-0.60.0",
+          "--include cargo-0.60.0",
         ]
         PROFILES: [
           "Check,Doc,Debug",

collector/benchmarks/README.md

@@ -50,8 +50,6 @@ They mostly consist of real-world crates.
   utilities. Uses huge `match` statements that stress the compiler in unusual
   ways.
 - **webrender**: A web renderer. Used by Firefox and Servo.
-- **webrender-wrench**: WebRender's test bench. An executable pulling in large
-  dependencies.
 
 ## Secondary