Rename some Github Actions files for consistency.
This commit is contained in:
parent
99fd5c4e17
commit
54ae4d9e44
Loading…
Reference in New Issue