Skip to content
.github/workflows/ci.yml

Update the flake.lock #151

Sign in to view logs

Update the flake.lock

Update the flake.lock #151

Triggered via push December 12, 2023 17:26
@sonmarchosonmarcho
pushed f7f3c03
son/substs
Status Success
Total duration 8m 6s
Artifacts –

ci.yml

on: push
nix
5m 6s
nix
lean
7m 58s
lean
Fit to window
Zoom out
Zoom in