Do not mix tabs and spaces in GitHub CI script.

This commit is contained in:
Milan Broz
2021-11-28 21:04:12 +01:00
parent bcace16aa2
commit ed68b51526