From ca9b804163b528188fd7e386fc9646d2df47c009 Mon Sep 17 00:00:00 2001
From: Markus Himmel <markus@lean-fro.org>
Date: Wed, 16 Jul 2025 15:15:13 +0200
Subject: [PATCH] chore: ci: specify which Linux toolchain Grove should
 download (#9405)

Since the old version of the workflow will run on PRs, we'll have to
"test" this on master.
---
 .github/workflows/grove.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/grove.yml b/.github/workflows/grove.yml
index a8e2b1460e..2faaaac2f4 100644
--- a/.github/workflows/grove.yml
+++ b/.github/workflows/grove.yml
@@ -64,7 +64,7 @@ jobs:
           commit: ${{ steps.workflow-info.outputs.sourceHeadSha }}
           workflow: ci.yml
           path: artifacts
-          name: build-Linux.*
+          name: "build-Linux release"
           name_is_regexp: true
 
       - name: Unpack toolchain