diff options
author | Takashi Kokubun <takashikkbn@gmail.com> | 2023-12-17 21:16:09 -0800 |
---|---|---|
committer | Takashi Kokubun <takashikkbn@gmail.com> | 2023-12-17 21:17:19 -0800 |
commit | e8064c6c2c317be78953b4d19226368580af0dca (patch) | |
tree | a473b0b122a30610baac8de2f1a6b3b62d593a82 | |
parent | 83194aa27dcadb87a5669c05c8dc96149e8c11e2 (diff) |
Shorten the workflow name
Looking at the name in the list, "Miscellaneous / Miscellaneous checks"
seems too verbose/repetitive. Let's make it "Misc / Miscellaneous checks".
-rw-r--r-- | .github/workflows/check_misc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check_misc.yml b/.github/workflows/check_misc.yml index 051e29a0f1..ce4397b35a 100644 --- a/.github/workflows/check_misc.yml +++ b/.github/workflows/check_misc.yml @@ -1,4 +1,4 @@ -name: Miscellaneous +name: Misc on: [push, pull_request, merge_group] concurrency: |