update workflow to fix build issues#70
Merged
ubidefeo merged 2 commits intofeature/tabs-and-file-managerfrom Jan 7, 2024
Merged
update workflow to fix build issues#70ubidefeo merged 2 commits intofeature/tabs-and-file-managerfrom
ubidefeo merged 2 commits intofeature/tabs-and-file-managerfrom