Rename ci file

This commit is contained in:
Miguel de la Cruz 2023-06-29 23:47:11 +02:00
parent 71fa53d1a8
commit ae1a2d9999