]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Windows action: archive library only if merged into master 14292/head
authorPeter Munch <peterrmuench@gmail.com>
Mon, 19 Sep 2022 19:28:13 +0000 (21:28 +0200)
committerPeter Munch <peterrmuench@gmail.com>
Mon, 19 Sep 2022 19:28:13 +0000 (21:28 +0200)
.github/workflows/windows.yml

index 5686c4d09b701e3afdd26ecab310096963271c1b..0a3128bad702b32da4c75559bc47cc838ffb3e2e 100644 (file)
@@ -49,6 +49,8 @@ jobs:
       run: |
         cmake --build build  --target test -- -m
     - name: archive library
+      # run only if a PR is merged into master
+      if: github.ref == 'refs/heads/master'
       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.