From c8df479f1ca1272356705f7b60bd12a910262736 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E8=80=81=E5=88=98?= <632171029@qq.com>
Date: Sat, 10 Aug 2024 11:40:12 +0800
Subject: [PATCH] use `wsl-bash` instead of `bash`

---
 .github/workflows/main.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 89ffd6a0a9..6e219577b0 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -143,22 +143,22 @@ jobs:
             distribution: Ubuntu-24.04
       - uses: actions/checkout@v4
       - name: Build
-        shell: bash
+        shell: wsl-bash
         run: |
           export ${{ matrix.IMPL }}
           ./ci.sh build ${IMPL}
       - name: Step Tests
-        shell: bash
+        shell: wsl-bash
         run: |
           export ${{ matrix.IMPL }}
           ./ci.sh test ${IMPL}
       - name: Regression Tests
-        shell: bash
+        shell: wsl-bash
         run: |
           export ${{ matrix.IMPL }}
           STEP=stepA REGRESS=1 HARD=1 OPTIONAL=0 ./ci.sh test ${IMPL}
       - name: Performance Tests
-        shell: bash
+        shell: wsl-bash
         run: |
           export ${{ matrix.IMPL }}
           ./ci.sh perf ${IMPL}