From 7d09d62099641cc9d3972fece2a1b27ef51b1a73 Mon Sep 17 00:00:00 2001
From: NullVoxPopuli <199018+NullVoxPopuli@users.noreply.github.com>
Date: Mon, 4 Dec 2023 17:48:53 -0500
Subject: [PATCH] Tweak settings

---
 .github/workflows/perf.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/perf.yml b/.github/workflows/perf.yml
index 1829b573dc..f5a27437ef 100644
--- a/.github/workflows/perf.yml
+++ b/.github/workflows/perf.yml
@@ -57,6 +57,9 @@ jobs:
           build-control: false
           build-experiment: false
           pkg-manager: pnpm
+          use-pnpm: true
+          sample-timeout: 10
+          runtime-stats: true
           control-dist: ${{ env.CONTROL_DIR }}/benchmark/benchmarks/krausest
           experiment-dist: ${{ github.workspace }}/benchmark/benchmarks/krausest
           control-serve-command: |