From c79c5fd007fd81863946a02d7bca9283f0c4eb2e Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sun, 11 Feb 2024 16:56:02 +1100 Subject: [PATCH] workflows: rename to sel4bench-hw for consistency Signed-off-by: Gerwin Klein --- .github/workflows/{sel4bench-pr.yml => sel4bench-hw.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{sel4bench-pr.yml => sel4bench-hw.yml} (100%) diff --git a/.github/workflows/sel4bench-pr.yml b/.github/workflows/sel4bench-hw.yml similarity index 100% rename from .github/workflows/sel4bench-pr.yml rename to .github/workflows/sel4bench-hw.yml