diff options
| author |  Chris Lovering <[email protected]> | 2023-08-16 14:58:38 +0100 |
|---|---|---|
| committer | Chris Lovering <[email protected]> | 2023-08-16 14:58:38 +0100 |
| commit | c2d206bff1d9881d9f60f06429b79ec7439396ae (patch) | |
| tree | 492bdcb7055ce37935629ce7c3472833074567bd | |
| parent | Update status embed CI to trigger correctly (diff) | |
Use the CI workflow for the status embed trigger
| -rw-r--r-- | .github/workflows/status_embed.yaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/status_embed.yaml b/.github/workflows/status_embed.yaml index 9090e74..e1be00e 100644 --- a/.github/workflows/status_embed.yaml +++ b/.github/workflows/status_embed.yaml @@ -3,7 +3,7 @@ name: Status Embed on: workflow_run: workflows: - - lint + - CI types: - completed @@ -14,7 +14,7 @@ concurrency: jobs: status_embed: # We send the embed in the following situations: - # - Always after the `Lint` workflow, as it runs at the end of our workflow sequence regardless of status. + # - Always after the `lint` workflow, as it runs at the end of our workflow sequence regardless of status. # - Always for the `pull_request` event, as it only runs one workflow. # - Always run for non-success workflows, as they terminate the workflow sequence. if: >- |