CI: Rename the workflow file.

This commit is contained in:
Damir Jelić 2020-12-08 13:58:26 +01:00
parent 40d13d9b59
commit fdf48d1f30