Pin Manual Benchmarks To CPU 7 (#7249)

Author: zeme-wana

.github/workflows/manual-benchmark.yml

@@ -123,7 +123,9 @@ jobs:
           nix develop .#${{ steps.extract-benchmark.outputs.ghc }} \
             --no-warn-dirty \
             --accept-flake-config \
-            --command bash ./scripts/ci-plutus-benchmark.sh 
+            --command taskset -c 7 bash ./scripts/ci-plutus-benchmark.sh 
+            # We use taskset to pin the benchmark to a single CPU core to improve repeatability
+
         env:
           BENCHMARK_NAME: ${{ steps.extract-benchmark.outputs.benchmark }}
           PR_NUMBER: ${{ github.event.issue.number }}

nix/shell.nix

@@ -65,10 +65,10 @@ let
 
   linux-pkgs = lib.optionals pkgs.hostPlatform.isLinux [
     pkgs.papi
+    pkgs.util-linux
   ];
 
   common-pkgs = [
-    pkgs.ghcid
     agda-tools.agda
     agda-tools.agda-with-stdlib
     agda-tools.agda-mode
@@ -86,6 +86,7 @@ let
     tools.hlint
     tools.cabal-fmt
 
+    pkgs.ghcid
     pkgs.texliveFull
     pkgs.jekyll
     pkgs.plantuml