Skip to content
.github/workflows/nix.yml

chore: update F* #105

Sign in to view logs

chore: update F*

chore: update F* #105

Triggered via push September 17, 2024 21:10
@TWalTWal
pushed 3362b9a
main
Status Success
Total duration 17s
Artifacts –

nix.yml

on: push
Nix
6s
Nix
Fit to window
Zoom out
Zoom in