fixup! tools: add benchmark runner to test-shared

Author: aduh95

.github/workflows/test-shared.yml

@@ -160,11 +160,17 @@ jobs:
                   -- ${{ inputs.category }} \
                 | tee /dev/stderr \
                 > ${{ matrix.system }}.csv
+                echo "Warning: do not take GHA benchmark results as face value, always confirm them"
+                echo "using a dedicated machine, e.g. Jenkins CI."
+                echo
                 echo "Benchmark results:"
                 echo
                 echo '"'"'```'"'"'
                 Rscript benchmark/compare.R < ${{ matrix.system }}.csv
                 echo '"'"'```'"'"'
+                echo
+                echo "Warning: do not take GHA benchmark results as face value, always confirm them"
+                echo "using a dedicated machine, e.g. Jenkins CI."
             ' | tee /dev/stderr >> "$GITHUB_STEP_SUMMARY"
         env:
           FILTER: ${{ inputs.filter }}
@@ -213,9 +219,15 @@ jobs:
             --arg sharedLibDeps '{}' \
             --arg devTools '[]' \
             --run '
+                echo "Warning: do not take GHA benchmark results as face value, always confirm them"
+                echo "using a dedicated machine, e.g. Jenkins CI."
+                echo
                 echo "Benchmark results:"
                 echo
                 echo '"'"'```'"'"'
                 awk "FNR==1 && NR!=1{next;}{print}" raw-results/*.csv | Rscript benchmark/compare.R
                 echo '"'"'```'"'"'
+                echo
+                echo "Warning: do not take GHA benchmark results as face value, always confirm them"
+                echo "using a dedicated machine, e.g. Jenkins CI."
             ' | tee /dev/stderr >> "$GITHUB_STEP_SUMMARY"

shell.nix

@@ -46,7 +46,8 @@
     pkgs.rPackages.ggplot2
     pkgs.rPackages.plyr
     pkgs.wrk
-  ] ++ pkgs.lib.optional pkgs.stdenv.buildPlatform.isLinux pkgs.glibcLocales,
+  ]
+  ++ pkgs.lib.optional pkgs.stdenv.buildPlatform.isLinux pkgs.glibcLocales,
   extraConfigFlags ? [
     "--without-npm"
     "--debug-node"