.github/workflows/nix.yml

chore: update F* and DY* #106

Sign in to view logs

Summary
Jobs
- Nix
Run details
- Usage
- Workflow file

Triggered via push September 23, 2024 21:38

TWal

pre-main

Status Success

Total duration 32m 38s

Artifacts –

nix.yml

on: push