Skip to content
.github/workflows/nix.yml

chore: update for new F* build (#3) #147

Sign in to view logs

chore: update for new F* build (#3)

chore: update for new F* build (#3) #147

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix
6s
6s