Skip to content
.github/workflows/nix.yml

chore: update F* and DY* #143

Sign in to view logs

chore: update F* and DY*

chore: update F* and DY* #143

Triggered via push January 7, 2025 12:35
@TWalTWal
pushed 4441335
main
Status Success
Total duration 17s
Artifacts –

nix.yml

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