From 61090dcdd7d907542818231bed8cff87006e3d05 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20F=C3=B6hring?= Date: Wed, 17 Jan 2024 22:54:39 +0100 Subject: [PATCH] Update GitHub actions --- ...bugfix-reproducer.yml => housekeeping-bugfix-reproducer.yml} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename .github/workflows/{bugfix-reproducer.yml => housekeeping-bugfix-reproducer.yml} (93%) diff --git a/.github/workflows/bugfix-reproducer.yml b/.github/workflows/housekeeping-bugfix-reproducer.yml similarity index 93% rename from .github/workflows/bugfix-reproducer.yml rename to .github/workflows/housekeeping-bugfix-reproducer.yml index edbe69b11..d57d82524 100644 --- a/.github/workflows/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: