Rename Github Actions workflow files

This commit is contained in:
Mahmoud Ben Hassine
2023-02-27 22:34:08 +01:00
parent e07ed7a58b
commit dee6862f9a
4 changed files with 0 additions and 0 deletions