Include benchmark results in workflow summary

With this change we include the benchmark results in the CI workflow's
summary. In so doing we provide quicker access compared to having to
navigate to the benchmark job and then expand the various folds first.

Signed-off-by: Daniel Müller <[email protected]>

.github/workflows/test.yml

@@ -158,7 +158,18 @@ jobs:
     - name: Install required tools
       run: sudo apt-get install -y llvm-14
     - uses: Swatinem/[email protected]
-    - run: cargo bench --features=nightly,generate-large-test-files,dont-generate-unit-test-files
+    - run: |
+        echo '```' >> $GITHUB_STEP_SUMMARY
+        cargo bench --features=nightly -- bench_ | tee --append $GITHUB_STEP_SUMMARY
+        # We use bencher format here for better relation to the above
+        # but also because it emits less other crap into our summary.
+        # Note that because libtest does not understand the
+        # `--output-format` option, we need to specify the benchmark
+        # binary (`main`) here and have a different invocation for
+        # libtest style benchmarks above. Sigh.
+        cargo bench --bench=main --features=generate-large-test-files,dont-generate-unit-test-files -- --output-format=bencher | tee --append $GITHUB_STEP_SUMMARY
+        echo '```' >> $GITHUB_STEP_SUMMARY
+
   clippy:
     name: Lint with clippy
     runs-on: ubuntu-latest