rename actions

mununki · mununki · commit c70ded500aad · 2023-12-08T22:30:20.000+09:00
diff --git a/.github/workflows/build_macos.yml b/.github/workflows/build_macos.yml
@@ -1,4 +1,4 @@
-name: ppx_spice build macOS
+name: ppx_rhf build macOS
 
 on: [workflow_dispatch]
 
diff --git a/.github/workflows/build_windows.yml b/.github/workflows/build_windows.yml
@@ -1,4 +1,4 @@
-name: ppx_spice build windows
+name: ppx_rhf build windows
 
 on: [workflow_dispatch]
 
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -1,4 +1,4 @@
-name: ppx_spice publish
+name: ppx_rhf publish
 
 on: [workflow_dispatch]
 
diff --git a/.github/workflows/publish_prerelease.yml b/.github/workflows/publish_prerelease.yml
@@ -1,4 +1,4 @@
-name: ppx_spice publish prerelease
+name: ppx_rhf publish prerelease
 
 on: [workflow_dispatch]
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: ppx_spice publish prerelease`
	`1`	`+name: ppx_rhf publish prerelease`
`2`	`2`
`3`	`3`	`on: [workflow_dispatch]`
`4`	`4`