.github/workflows/nix.yml

chore: update F* and DY* #86

Sign in to view logs

Summary
Jobs
- Nix
Run details
- Usage
- Workflow file

Triggered via push July 22, 2024 14:27

TWal

main

Status Success

Total duration 1h 40m 54s

Artifacts –

nix.yml

on: push