Skip to content

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

Add git and fstar in PATH when building with nix

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

platform (32, windows-latest)

succeeded Jan 9, 2025 in 2m 14s