Finish removal of script-servo by polishing CI

Author: Mark-Simulacrum

.github/workflows/ci.yml

@@ -37,9 +37,8 @@ jobs:
     strategy:
       matrix:
         BENCH_INCLUDE_EXCLUDE_OPTS: [
-          "--exclude script-servo,webrender-wrench,style-servo,cargo",
+          "--exclude webrender-wrench,style-servo,cargo",
           "--include webrender-wrench,style-servo,cargo",
-          "--include script-servo",
         ]
         BUILD_KINDS: [
           "Check,Doc,Debug",

collector/benchmarks/README.md

@@ -24,9 +24,6 @@ These are real programs that are important in some way, and worth tracking.
 - **piston-image**: A modular game engine. An interesting Rust program.
 - **regex**: A regular expression parser. Used by many Rust programs.
 - **ripgrep**: A line-oriented search tool. A widely-used utility.
-- **script-servo-2**: Servo's `script` crate. A particularly large crate. At
-5ad7e5b4fbd58, with [PR#27063](https://github.com/servo/servo/pull/27063)
-applied atop.
 - **serde**: A serialization/deserialization crate. Used by many other
   Rust programs.
 - **style-servo**: Servo's `style` crate. A large crate, and one used by

collector/src/execute.rs

@@ -1032,7 +1032,8 @@ impl Benchmark {
         // configuration, script-servo-2 took 2995s without this parallelization
         // and 2915s with. This is a small win, admittedly, but even a few
         // minutes shaved off is important -- and there's not too much mangling
-        // of our code needed to get this to work.
+        // of our code needed to get this to work. This benchmark has since been
+        // deleted, but the optimization holds for other crates as well.
         //
         // Ideally we would not separately build build-script's (which are
         // otherwise shared between the configurations), but there's no good way