diff --git a/.github/workflows/build_pages.yml b/.github/workflows/build_pages.yml
index 67d55218..4d541d50 100644
--- a/.github/workflows/build_pages.yml
+++ b/.github/workflows/build_pages.yml
@@ -1,4 +1,4 @@
-name: Render dev/main on PR (Ubuntu)
+name: Render HTML+PDF dev/main on PR (Ubuntu)
 
 on:
   pull_request:
diff --git a/.github/workflows/build_pages_dev.yml b/.github/workflows/build_pages_dev.yml
index f28f421f..e80e6000 100644
--- a/.github/workflows/build_pages_dev.yml
+++ b/.github/workflows/build_pages_dev.yml
@@ -1,4 +1,4 @@
-name: Render dev on Push (Ubuntu)
+name: Render HTML dev on Push (Ubuntu)
 
 on:
   push:
diff --git a/.github/workflows/build_pages_windows.yml b/.github/workflows/build_pages_windows.yml
index e121917e..5cecce9d 100644
--- a/.github/workflows/build_pages_windows.yml
+++ b/.github/workflows/build_pages_windows.yml
@@ -1,4 +1,4 @@
-name: Render dev/main on PR (Windows)
+name: Render HTML+PDF dev/main on PR (Windows)
 
 on:
   pull_request: