Skip to content

opam: build with gmake on mac#582

Draft
amosr-msft wants to merge 1 commit into
FStarLang:mainfrom
amosr-msft:amos/20260226-opam-macos
Draft

opam: build with gmake on mac#582
amosr-msft wants to merge 1 commit into
FStarLang:mainfrom
amosr-msft:amos/20260226-opam-macos

opam: build with gmake on mac

a69a52a
Select commit
Loading
Failed to load commit list.
Microsoft GitHub Policy Service / license/cla succeeded Mar 3, 2026 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.