chore: use a shorter name for CI on GitHub Actions (#12055)

alexislefebvre · web-flow · commit 41ea59ac6691 · 2025-07-04T00:19:01.000+02:00
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -1,4 +1,4 @@
-name: "Continuous Integration"
+name: "CI"
 
 on:
   pull_request:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: "Continuous Integration"`
	`1`	`+name: "CI"`
`2`	`2`
`3`	`3`	`on:`
`4`	`4`	`pull_request:`