Build all 4 build kinds on CI

Pair Doc and Check together -- both are fairly fast.

Author: Mark-Simulacrum

.github/workflows/ci.yml

@@ -41,6 +41,11 @@ jobs:
           "--include webrender-wrench,style-servo",
           "--include script-servo",
         ]
+        BUILD_KINDS: [
+          "Check,Doc",
+          "Debug",
+          "Opt",
+        ]
     name: Test benchmarks
     runs-on: ubuntu-latest
     steps:
@@ -71,6 +76,7 @@ jobs:
         run: sh -x -c "ci/check-benchmarks.sh"
         env:
           BENCH_INCLUDE_EXCLUDE_OPTS: ${{ matrix.BENCH_INCLUDE_EXCLUDE_OPTS }}
+          BUILD_KINDS: ${{ matrix.BUILD_KINDS }}
           SHELL: "/bin/bash"
 
   test_profiling:

ci/check-benchmarks.sh

@@ -17,7 +17,7 @@ RUST_BACKTRACE=1 \
     RUST_LOG=raw_cargo_messages=trace,collector=debug,rust_sysroot=debug \
     cargo run -p collector --bin collector -- \
     bench_local $bindir/rustc Test \
-        --builds Check,Doc \
+        --builds $BUILD_KINDS \
         --cargo $bindir/cargo \
         --runs All \
         --rustdoc $bindir/rustdoc \