Rename github actions

This commit is contained in:
Mahmoud Ben Hassine
2023-01-18 20:41:08 +01:00
parent ccd671004c
commit 17b66ff11d
2 changed files with 0 additions and 0 deletions