Skip to content

Add git and fstar in PATH when building with nix #1372

Add git and fstar in PATH when building with nix

Add git and fstar in PATH when building with nix #1372

build (64, windows-latest)

succeeded Jan 10, 2025 in 10m 25s