Skip to content
.github/workflows/nix.yml

chore: update F* and DY* #141

Sign in to view logs

chore: update F* and DY*

chore: update F* and DY* #141

Triggered via push January 6, 2025 18:00
@TWalTWal
pushed 81ce141
pre-main
Status Failure
Total duration 8m 50s
Artifacts –

nix.yml

on: push
Nix
8m 37s
Nix
Fit to window
Zoom out
Zoom in

Annotations

1 error
Nix
Process completed with exit code 1.