Rename github workflows

This commit is contained in:
Luis Díaz Más 2021-05-11 15:15:25 +02:00
parent 012f05f9a1
commit 776d3a3efc
5 changed files with 0 additions and 0 deletions