.github/workflows/nix.yml

chore: update F* #104

Sign in to view logs

Summary
Jobs
- Nix
Run details
- Usage
- Workflow file

Triggered via push September 17, 2024 20:23

TWal

pre-main

Status Success

Total duration 23m 27s

Artifacts –

nix.yml

on: push