chore: rename workflow file to match name

This commit is contained in:
Roberto Abdelkader Martínez Pérez authored and GitHub committed 2020-12-30 17:53:59 +01:00
1 parent 6783812e05
commit 3a619bfa4f
1 file changed
File renamed without changes.