Update GitHub actions

rrrene · rrrene · commit 61090dcdd7d9 · 2024-01-17T22:54:50.000+01:00
diff --git a/.github/workflows/housekeeping-bugfix-reproducer.yml b/.github/workflows/housekeeping-bugfix-reproducer.yml
@@ -1,4 +1,4 @@
-name: "Reproducing Test-Case Detector (experimental)"
+name: "Housekeeping: Reproducing Test-Case Detector (experimental)"
 
 on:
   pull_request:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: "Reproducing Test-Case Detector (experimental)"`
	`1`	`+name: "Housekeeping: Reproducing Test-Case Detector (experimental)"`
`2`	`2`
`3`	`3`	`on:`
`4`	`4`	`pull_request:`