Fix a couple issues found in the build script#378

Merged

Thomas-Boi merged 5 commits intodevelopfrom

Dec 12, 2020

Commits on Dec 12, 2020

Update .github/workflows/build_icons.yml

Thomas-Boi
and
amacado
authored