From 319c7a448bf1824428675ad528d117590e825fd4 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Sat, 15 Jul 2023 20:22:16 -0500 Subject: [PATCH] github: run all github actions on draft PRs as well --- .github/workflows/linux.yml | 45 +++++++++++++++++++++++++++-------- .github/workflows/osx.yml | 18 ++++++++++---- .github/workflows/tidy.yml | 9 +++++-- .github/workflows/windows.yml | 9 +++++-- 4 files changed, 63 insertions(+), 18 deletions(-) diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 294adacf26..94819b1e2a 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -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 diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml index 47a548d6ef..059a28b564 100644 --- a/.github/workflows/osx.yml +++ b/.github/workflows/osx.yml @@ -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 diff --git a/.github/workflows/tidy.yml b/.github/workflows/tidy.yml index aa2e30b6cd..ec2a8c608e 100644 --- a/.github/workflows/tidy.yml +++ b/.github/workflows/tidy.yml @@ -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 diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index d11eeeac62..2fad5519e7 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -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 -- 2.39.5