Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC

Commits:

• 3f5e8d80
  by Cheng Shao at 2026-01-23T10:53:37-05:00

  ci: only push perf notes on master/release branches
  
  This patch fixes push_perf_notes logic in ci.sh to only push perf
  notes on master/release branches. We used to unconditionally push perf
  notes even in MRs, but the perf numbers in the wip branches wouldn't
  be used as baseline anyway, plus this is causing a space leak in the
  ghc-performance-notes repo. See #25317 for the perf notes repo size
  problem.
  
  Co-authored-by: Codex <codex@openai.com>
  

1 changed file:

• .gitlab/ci.sh

Changes:

 }

 function push_perf_notes() {

+  if [[ "${CI_COMMIT_BRANCH:-}" != "master" ]] && [[ ! "${CI_COMMIT_BRANCH:-}" =~ ghc-[0-9]+\.[0-9]+ ]]; then

+    info "Perf notes are only pushed on master/release branches"

+    return

+  fi

+

   if [[ -z "${TEST_ENV:-}" ]]; then

     return

   fi