.github/workflows/nix.yml

ci: update F* #21

Sign in to view logs

Summary
Jobs
- Nix
Run details
- Usage
- Workflow file

Triggered via push March 13, 2024 22:24

TWal

main

Status Success

Total duration 5m 25s

Artifacts –

nix.yml

on: push