Change pipeline name

luciopaiva · luciopaiva · commit e884568f63b7 · 2025-09-16T17:47:58.000+01:00
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -1,4 +1,4 @@
-name: Deploy Docs to GitHub Pages
+name: Build docs
 
 on:
   # Runs on pushes targeting the default branch

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: Deploy Docs to GitHub Pages`
	`1`	`+name: Build docs`
`2`	`2`
`3`	`3`	`on:`
`4`	`4`	`# Runs on pushes targeting the default branch`