From f74048c50bb2382d25c7891ff49744aae59d07f6 Mon Sep 17 00:00:00 2001 From: Alec Grieser Date: Wed, 24 Sep 2025 17:25:02 +0100 Subject: [PATCH] Specify repo when fetching PR head in metrics build MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit I missed the word "origin" in the fetch command, leading to another job failure: https://github.com/FoundationDB/fdb-record-layer/actions/runs/17983041897/job/51153993870?pr=3626 I actually had this right in a test repo I was using to validate this stuff, but I messed it up when I copied things over. 🤦 --- .github/workflows/metrics_analysis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/metrics_analysis.yml b/.github/workflows/metrics_analysis.yml index d2a03a33eb..997b5d9101 100644 --- a/.github/workflows/metrics_analysis.yml +++ b/.github/workflows/metrics_analysis.yml @@ -27,7 +27,7 @@ jobs: run: | # Make sure we have the PR head fetched. Note that we only download the code for comparison, # we do not run any code from the pull request's version - git fetch pulls/${{ github.event.number }}/head + git fetch origin pulls/${{ github.event.number }}/head # Run the analysis. Compare against the base hash of this PR ./gradlew :yaml-tests:analyzeMetrics \