workflows: rename to sel4bench-hw for consistency

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 11, 2024 · c79c5fd · c79c5fd
1 parent 11b122c
commit c79c5fd
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/sel4bench-pr.yml → .github/workflows/sel4bench-hw.yml b/.github/workflows/sel4bench-pr.yml → .github/workflows/sel4bench-hw.yml