From 1adb0b424681253a7d4cd941b59d883a83121c8f Mon Sep 17 00:00:00 2001
From: Zhaofeng Li <hello@zhaofeng.li>
Date: Sun, 2 Jan 2022 13:15:41 -0800
Subject: [PATCH] .github: Rename workflows for clarity

---
 .github/workflows/manual-stable.yml | 2 +-
 .github/workflows/manual.yml        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/manual-stable.yml b/.github/workflows/manual-stable.yml
index caaf0ce..3c2fe03 100644
--- a/.github/workflows/manual-stable.yml
+++ b/.github/workflows/manual-stable.yml
@@ -2,7 +2,7 @@
 # the next stable release. For the one that is currently in
 # effect, check the release branches (e.g., release-0.2.x).
 
-name: Manual (Stable)
+name: Deploy Stable Manual
 
 on:
   push:
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
index cd3e1e0..ca488f4 100644
--- a/.github/workflows/manual.yml
+++ b/.github/workflows/manual.yml
@@ -1,4 +1,4 @@
-name: Manual
+name: Deploy Unstable Manual
 
 on:
   workflow_run: