From e8064c6c2c317be78953b4d19226368580af0dca Mon Sep 17 00:00:00 2001
From: Takashi Kokubun <takashikkbn@gmail.com>
Date: Sun, 17 Dec 2023 21:16:09 -0800
Subject: [PATCH] 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".
---
 .github/workflows/check_misc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/check_misc.yml b/.github/workflows/check_misc.yml
index 051e29a0f13bfd..ce4397b35aac02 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: