Skip to content

ci: Fix make command for the different OS's #845

ci: Fix make command for the different OS's

ci: Fix make command for the different OS's #845