From: Marc Fehling <mafehling.git@gmail.com>
Date: Wed, 17 Jul 2024 12:10:26 +0000 (+0200)
Subject: No need to specify shell.
X-Git-Tag: v9.6.0-rc1~48^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e7712d558194f488988fd9f0c81ffe91a6c7d1ac;p=dealii.git

No need to specify shell.
---

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index 4f4f07420b..a5891bf727 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -44,7 +44,6 @@ jobs:
         cmake -h
         wmic logicaldisk get size, freespace, caption
     - name: configure
-      shell: bash
       run: |
         mkdir build
         mkdir c:/project
@@ -53,18 +52,15 @@ jobs:
     - name: print detailed.log
       run: type build/detailed.log
     - name: build library
-      shell: bash
       run: |
         cmake --build build --parallel 2 --target install
     - name: test library
-      shell: bash
       run: |
         cmake --build build --parallel 2 --target setup_tests_a-framework
         cmake --build build --parallel 2 --target test
     - name: archive library
       # run only if a PR is merged into master
       if: ${{ github.ref == 'refs/heads/master' && matrix.os == 'windows-2022' }}
-      shell: bash
       run: |
         cd c:/project
         7z a dealii-windows.zip *