.github/workflows/nix.yml

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

Sign in to view logs

Summary
Jobs
- Nix
Run details
- Usage
- Workflow file

Triggered via push January 9, 2025 13:06

TWal

main

Status Success

Total duration 17s

Artifacts –

nix.yml

on: push