Rename the CI workflow file.

This commit is contained in:
Oleksii Trekhleb 2020-12-20 13:05:41 +01:00
parent c755110eb1
commit 22abc6f808