[CI] Rename workflow files (#695)

- Follow-up on #694

Split the file rename out for easier diffs.
This commit is contained in:
filtered
2025-03-03 20:47:10 +11:00
committed by GitHub
parent 1b10b0b0b6
commit 37b9798602
3 changed files with 0 additions and 0 deletions