diff options
| author |  Sebastiaan Zeeff <[email protected]> | 2020-12-10 14:59:10 +0100 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-12-10 14:59:10 +0100 |
| commit | b92e802d2c1768ecfb3d8c9dab49036d9a9fe528 (patch) | |
| tree | 460bc43439259a8fee9512c94f62e0eb0e21c052 | |
| parent | Use Build Artifact to communicate PR information (diff) | |
Skip status embed for skipped Build workflow
With the new `workflow_run` setup, we need to make sure that we don't try to send an embed for a skipped workflow. This would be noisy and does not add a lot of useful information.
| -rw-r--r-- | .github/workflows/status_embed.yaml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/status_embed.yaml b/.github/workflows/status_embed.yaml index c8502a19..28caa8c2 100644 --- a/.github/workflows/status_embed.yaml +++ b/.github/workflows/status_embed.yaml @@ -18,9 +18,10 @@ jobs: # - Always run for non-success workflows, as they # terminate the workflow sequence. if: >- - github.event.workflow_run.name == 'Build' || + (github.event.workflow_run.name == 'Build' && github.event.workflow_run.conclusion != 'skipped') || github.event.workflow_run.event == 'pull_request' || - github.event.workflow_run.conclusion != 'success' + github.event.workflow_run.conclusion == 'failure' || + github.event.workflow_run.conclusion == 'cancelled' name: Send Status Embed to Discord runs-on: ubuntu-latest |