summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakashi Kokubun <takashikkbn@gmail.com>2023-12-17 21:14:23 -0800
committerTakashi Kokubun <takashikkbn@gmail.com>2023-12-17 21:15:11 -0800
commit83194aa27dcadb87a5669c05c8dc96149e8c11e2 (patch)
tree6b27f9e3c8d00f1ec238bfb90abbcc8f458ae4c7
parentd8978445ae6b9bc0827c55a3721de329ba441b78 (diff)
Make the check_misc job name more descriptive
We're going to add check_misc as a required status check, and "checks" was a bit too vague for matching the job name.
-rw-r--r--.github/workflows/check_misc.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/check_misc.yml b/.github/workflows/check_misc.yml
index d8f73d26ec..051e29a0f1 100644
--- a/.github/workflows/check_misc.yml
+++ b/.github/workflows/check_misc.yml
@@ -1,4 +1,4 @@
-name: Miscellaneous checks
+name: Miscellaneous
on: [push, pull_request, merge_group]
concurrency:
@@ -10,6 +10,8 @@ permissions:
jobs:
checks:
+ name: Miscellaneous checks
+
permissions:
contents: write # for Git to git push