diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2022-08-09 15:13:51 +0200 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2022-08-09 15:13:51 +0200 |
commit | 8f59cadac708887f4f8e9a526ef8e30002ad455c (patch) | |
tree | 1905dbcf1286bd976e1431bcb4ec66059556bad5 | |
parent | 9115ef53a0522819aaecc74b462d696c1b10a942 (diff) |
Set job name explicitely
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
-rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5354a32..cc060ac 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -139,6 +139,7 @@ jobs: - run: gitlint --commits $(git merge-base origin/master HEAD).. ci: + name: CI if: ${{ success() }} needs: - check |