diff options
author | Takashi Kokubun <takashikkbn@gmail.com> | 2023-10-14 21:52:33 -0700 |
---|---|---|
committer | Takashi Kokubun <takashikkbn@gmail.com> | 2023-10-14 22:24:24 -0700 |
commit | 341d2ad95c210cf0c14a47e2afb43434c1d528df (patch) | |
tree | ca3deb7a5c00d8da87944bc43d8cdf6df987661c /.github/workflows/ubuntu.yml | |
parent | 222c4b85684424352d65125018d15a9e87d0a851 (diff) |
Use unique names for result jobs
If these jobs have the same name, GitHub allows merging a pull request
as soon as one of these jobs finishes.
We want to wait for all these jobs, so we have to use different names.
Since we don't skip this result job on [DOC], it's okay to use a
templated variable for this name.
Diffstat (limited to '.github/workflows/ubuntu.yml')
-rw-r--r-- | .github/workflows/ubuntu.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml index 613a7a0847..1533b9904a 100644 --- a/.github/workflows/ubuntu.yml +++ b/.github/workflows/ubuntu.yml @@ -119,6 +119,7 @@ jobs: result: if: ${{ always() }} + name: ${{ github.workflow }} result runs-on: ubuntu-latest needs: [make] steps: |