]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Only upload archive on one worker. 16017/head
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 20 Sep 2023 06:44:02 +0000 (00:44 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Wed, 20 Sep 2023 06:51:29 +0000 (00:51 -0600)
.github/workflows/windows.yml

index 35dd73105c5eed9bd64b484dec77e79b87de76fa..55798659db1c258c1448120367705b2385274d76 100644 (file)
@@ -62,14 +62,14 @@ jobs:
         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' }}
+      if: ${{ github.ref == 'refs/heads/master' && matrix.os == 'windows-2022' }}
       shell: bash
       run: |
         cd c:/project
         7z a dealii-windows.zip *
     - name: upload library
       # run only if a PR is merged into master
-      if: ${{ github.ref == 'refs/heads/master' }}
+      if: ${{ github.ref == 'refs/heads/master' && matrix.os == 'windows-2022' }}
       uses: actions/upload-artifact@v3
       with:
         name: 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.