Changing name

ifilot · ifilot · commit 786404368783 · 2025-05-11T17:00:17.000+02:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -1,4 +1,4 @@
-name: Deployment of documentation
+name: Documentation
 
 on:
   push:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: Deployment of documentation`
	`1`	`+name: Documentation`
`2`	`2`
`3`	`3`	`on:`
`4`	`4`	`push:`