use pipefail in a step with a pipe

This is _supposed_ to be the default according to
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_id_stepsshell
but actions/runner#353 indicates that this is
_still_ not really the case (but the end result is confusing), so we'll
be explicit here.

.github/workflows/benchmarks.yml

@@ -22,6 +22,7 @@ jobs:
       - name: Install Package and its Dependencies
         run: make install
       - name: Run benchmark
+        shell: 'bash --noprofile --norc -eo pipefail {0}'
         run: make report-benchmarks | tee benchmarks.txt
       - name: Store benchmark result
         uses: benchmark-action/github-action-benchmark@v1