Skip to content
.github/workflows/nix.yml

chore: update F* and DY* #107

Sign in to view logs

chore: update F* and DY*

chore: update F* and DY* #107

Triggered via push September 23, 2024 22:18
@TWalTWal
pushed 09c8b5e
main
Status Success
Total duration 18s
Artifacts –

nix.yml

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