Skip to content
Nix Build

Moving compiler sources into the FStarC namespace #744

Sign in to view logs

Moving compiler sources into the FStarC namespace

Moving compiler sources into the FStarC namespace #744

nix-build

nix-build
succeeded Oct 11, 2024 in 17m 40s