]> https://gitweb.dealii.org/ - dealii.git/commitdiff
github: do not run checks on drafts
authorMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 20:00:30 +0000 (15:00 -0500)
committerMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 22:19:01 +0000 (17:19 -0500)
.github/workflows/docker.yml
.github/workflows/linux.yml
.github/workflows/osx.yml
.github/workflows/tidy.yml
.github/workflows/windows.yml

index e14804765713ef289ce2ab1aea1bd6e6b3d23f94..80851a9ed63c6dd4436aeedb62bd667e1744694d 100644 (file)
@@ -1,7 +1,7 @@
 name: github-docker
 
-on: 
-  push: 
+on:
+  push:
     branches:
       - 'docker*'
       - 'master'
@@ -13,7 +13,7 @@ permissions:
 jobs:
   build-master-docker:
     runs-on: ubuntu-latest
-    steps:          
+    steps:
       - name: Checkout code
         uses: actions/checkout@v3
 
index 8319201a11c6e36ab9912b7a2a8edc650126caa5..9f06d7fe75325852fee9b0b3f8084d67be4ac059 100644 (file)
@@ -16,6 +16,9 @@ jobs:
     name: linux release serial
     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 }}
+
     steps:
     - uses: actions/checkout@v3
     - name: setup
@@ -65,6 +68,10 @@ jobs:
 
     name: linux debug parallel simplex
     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 }}
+
     container:
       image: dealii/dependencies:jammy
       options: --user root --env OMPI_ALLOW_RUN_AS_ROOT=1 --env OMPI_ALLOW_RUN_AS_ROOT_CONFIRM=1
@@ -123,6 +130,9 @@ 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 }}
+
     env:
       CUDA_ROOT: /usr/local/cuda
 
@@ -203,6 +213,9 @@ 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 }}
+
     env:
       CUDA_ROOT: /usr/local/cuda
 
@@ -289,6 +302,9 @@ jobs:
     name: linux debug intel oneapi
     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 }}
+
     steps:
     - uses: actions/checkout@v3
     - name: setup apt repo
index b81f8cc2df7d80ec2da2d84c41557d4a88e475d9..72e3264545b3192567bdc61527c96553dd904028 100644 (file)
@@ -16,6 +16,9 @@ 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 }}
+
     steps:
     - uses: actions/checkout@v3
     - name: info
@@ -52,6 +55,9 @@ 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 }}
+
     steps:
     - uses: actions/checkout@v3
     - name: setup
index e2bf74972f1c486698e8321fcd5fa7de43e5da1b..90e7e7d446140e1f79da83b336d7bd345ecbb351 100644 (file)
@@ -11,6 +11,9 @@ 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 }}
+
     steps:
     - uses: actions/checkout@v3
     - name: modules
index db44c7040d9717a306c7a5bb78b002e7a2882c20..466785326e0906469a32609b237fa3b4debed332 100644 (file)
@@ -12,8 +12,13 @@ permissions:
 jobs:
   windows-serial:
     # Serial build on Windows
+    #
     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 }}
+
     strategy:
       fail-fast: false
       matrix:

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.