Rename workflow file

The new file name matches the name of the workflow.
This commit is contained in:
Hanno Braun 2022-03-09 14:33:29 +01:00
parent 34816c274e
commit ddafc482ec