Fixing workflows names (#1450)

beta-ziliani · web-flow · commit b636582f327f · 2025-10-24T14:47:59.000Z
#1442 split the workflow files, but using the same name 🤦 This little PR gives each workflow a unique name.
diff --git a/.github/workflows/benchmark_cargo_cmp.yml b/.github/workflows/benchmark_cargo_cmp.yml
@@ -1,4 +1,4 @@
-name: "benchmark_cargo"
+name: "benchmark_cargo_cmp"
 
 on:
   # Run using manual triggers from GitHub UI:
diff --git a/.github/workflows/benchmark_cargo_slang.yml b/.github/workflows/benchmark_cargo_slang.yml
@@ -1,4 +1,4 @@
-name: "benchmark_cargo"
+name: "benchmark_cargo_slang"
 
 on:
   # Run using manual triggers from GitHub UI:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: "benchmark_cargo"`
	`1`	`+name: "benchmark_cargo_cmp"`
`2`	`2`
`3`	`3`	`on:`
`4`	`4`	`# Run using manual triggers from GitHub UI:`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: "benchmark_cargo"`
	`1`	`+name: "benchmark_cargo_slang"`
`2`	`2`
`3`	`3`	`on:`
`4`	`4`	`# Run using manual triggers from GitHub UI:`