From: Matthias Maier Date: Sun, 16 Jul 2023 01:22:16 +0000 (-0500) Subject: github: run all github actions on draft PRs as well X-Git-Tag: relicensing~649^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=319c7a448bf1824428675ad528d117590e825fd4;p=dealii.git github: run all github actions on draft PRs as well --- 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