]> https://gitweb.dealii.org/ - dealii.git/commitdiff
github: run all github actions on draft PRs as well 15756/head
authorMatthias Maier <tamiko@43-1.org>
Sun, 16 Jul 2023 01:22:16 +0000 (20:22 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sun, 16 Jul 2023 01:22:16 +0000 (20:22 -0500)
.github/workflows/linux.yml
.github/workflows/osx.yml
.github/workflows/tidy.yml
.github/workflows/windows.yml

index 294adacf263dd3b0ad4a53df6c8dc1dabea78471..94819b1e2a8164410c654945688d693b5626c6fd 100644 (file)
@@ -28,8 +28,13 @@ jobs:
     name: linux release serial
     runs-on: [ubuntu-22.04]
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     container:
       image: dealii/dependencies:jammy
@@ -77,8 +82,13 @@ jobs:
     name: linux debug parallel
     runs-on: [ubuntu-22.04]
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     container:
       image: dealii/dependencies:jammy
@@ -140,8 +150,13 @@ jobs:
     name: linux debug intel oneapi
     runs-on: [ubuntu-22.04]
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     steps:
     - uses: actions/checkout@v3
@@ -223,8 +238,13 @@ jobs:
     name: linux debug cuda-11
     runs-on: [ubuntu-20.04]
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     env:
       CUDA_ROOT: /usr/local/cuda
@@ -309,8 +329,13 @@ jobs:
     name: linux debug cuda-11 clang
     runs-on: [ubuntu-20.04]
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     env:
       CUDA_ROOT: /usr/local/cuda
index 47a548d6eff03b6f6734f36c0a111f166fb8f627..059a28b564e00b0a0464fe8344d3fc070ff2e6b8 100644 (file)
@@ -23,8 +23,13 @@ jobs:
     name: OSX serial
     runs-on: [macos-latest]
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     steps:
     - uses: actions/checkout@v3
@@ -62,8 +67,13 @@ jobs:
     name: OSX parallel 64bit
     runs-on: [macos-latest]
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     steps:
     - uses: actions/checkout@v3
index aa2e30b6cd627c76fc83b7fe7f321b1b863c012a..ec2a8c608ea30924488a2934740ad535da84115c 100644 (file)
@@ -18,8 +18,13 @@ jobs:
     name: tidy
     runs-on: [ubuntu-22.04]
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     steps:
     - uses: actions/checkout@v3
index d11eeeac62926f0e8da6205d316a7a4e30d287f2..2fad5519e77b37acbf2c917c22f160d157533c95 100644 (file)
@@ -23,8 +23,13 @@ jobs:
     name: Windows Serial
     runs-on: ${{ matrix.os }}
 
-    # only run on 'push' or if the 'pull_request' is not a draft:
-    if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
+    #
+    # The following condition only runs the workflow on 'push' or if the
+    # 'pull_request' is not a draft. This is only useful for hackathons or
+    # other situations when the CI is massively overburdened with pull
+    # requests.
+    #
+    # if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
 
     strategy:
       fail-fast: false

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.