renamed workflow file

This commit is contained in:
brb
2023-07-11 18:23:37 +02:00
parent 6f7201054b
commit 91b22a781c