Fix capitalization for macos in GitHub action
Fix capitalization for macos in GitHub action

Signed-off-by: Ali Caglayan <alizter@gmail.com>

ps-id: abe4fc0f-0616-4cdf-860c-5b8327a70269
ejgallego/coq,SkySkimmer/coq,coq/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,Zimmi48/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq,coq/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,Zimmi48/coq,SkySkimmer/coq