From 985c0257ee694fd3419d838042eafdf28dea738d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Fri, 7 Mar 2025 09:02:03 +0100
Subject: [PATCH] Use pipefail in dry-run workflow

---
 .github/workflows/dry-run.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/dry-run.yml b/.github/workflows/dry-run.yml
index d116518dd..71a76ac85 100644
--- a/.github/workflows/dry-run.yml
+++ b/.github/workflows/dry-run.yml
@@ -131,6 +131,8 @@ jobs:
           GITHUB_TOKEN_RUST_ANALYZER: ${{ steps.rust-analyzer-token.outputs.token }}
           GITHUB_TOKEN_RUST_EMBEDDED: ${{ steps.rust-embedded-token.outputs.token }}
           GITHUB_TOKEN_RUST_DEV_TOOLS: ${{ steps.rust-dev-tools-token.outputs.token }}
+        # This applies pipefail, so that the tee pipeline below fails when sync-team fails.
+        shell: bash
         run: |
           # Perform build and execution separately to avoid any potential output from
           # cargo leaking into the output file.