From: Marc Fehling 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 *