workflows: rename to sel4bench-hw for consistency

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 14, 2024 · a92830a · a92830a
1 parent 6c7d208
commit a92830a
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