Skip to content
Checks

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

Sign in to view logs

Add git and fstar in PATH when building with nix

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
fmt
10s
10s