ci: rename workflow to clarify purpose of generating and deploying docs

elraro · elraro · commit 7620763a6893 · 2025-09-11T21:11:07.000Z
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -1,4 +1,4 @@
-name: ci 
+name: Generate docs and deploy to GitHub Pages
 on:
   push:
     branches:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: ci`
	`1`	`+name: Generate docs and deploy to GitHub Pages`
`2`	`2`	`on:`
`3`	`3`	`push:`
`4`	`4`	`branches:`