]> https://gitweb.dealii.org/ - dealii.git/commitdiff
No need to specify shell.
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 17 Jul 2024 12:10:26 +0000 (14:10 +0200)
committerMarc Fehling <mafehling.git@gmail.com>
Thu, 18 Jul 2024 09:59:34 +0000 (11:59 +0200)
.github/workflows/windows.yml

index 4f4f07420b814ddc5ac9d1a9eb29b0088fae66b6..a5891bf727c9d38c53e515dd88a0ce1b9529652a 100644 (file)
@@ -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 *

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.