Skip to content
Dismiss old reviews when re-requested

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

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 #220

Run time

Learn about OS pricing on GitHub Actions
Job Run time
review_requested / review_requested
2s
2s