Skip to content
Nix Build

Moving compiler sources into the FStarC namespace #745

Sign in to view logs

Moving compiler sources into the FStarC namespace

Moving compiler sources into the FStarC namespace #745

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix-build
17m 40s
17m 40s