Fix Github Action script names.

msporny · msporny · commit ab7cb2638c97 · 2025-05-31T13:03:36.000-04:00
diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
@@ -1,5 +1,5 @@
 # .github/workflows/pr-push.yml
-name: CI
+name: Publish to W3C
 on:
   pull_request: {}
   push:
diff --git a/.github/workflows/vocabulary.yml b/.github/workflows/vocabulary.yml
@@ -4,7 +4,7 @@
 # See https://github.com/w3c/yml2vocab for more details
 #
 # Note that for this script to work, the repository setting for GitHub pages must be changed!
-name: Generate the vocabulary files and publish to Github Pages
+name: Publish to Github Pages
 on:
   push:
     branches: [main]

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`# See https://github.com/w3c/yml2vocab for more details`
`5`	`5`	`#`
`6`	`6`	`# Note that for this script to work, the repository setting for GitHub pages must be changed!`
`7`		`-name: Generate the vocabulary files and publish to Github Pages`
	`7`	`+name: Publish to Github Pages`
`8`	`8`	`on:`
`9`	`9`	`push:`
`10`	`10`	`branches: [main]`