setup
checks.aarch64-linux.pkgs-lean-ctx
· build #9473
· raw
1these 5 derivations will be built:2 /nix/store/drr198571qqyq4hgk31n74w9zsb3c9gj-source.drv3 /nix/store/59b9s4vy7c76w4vjrfzpfn40rfnbl7v8-lean-ctx-3.12.0-vendor-staging.drv4 /nix/store/2gjri6h3wljjk3bcg9q6f61xyn1af73m-lean-ctx-3.12.0-vendor.drv5 /nix/store/qirncymba0fixxryi6xr1b3wy1mmiirh-lean-ctx-3.12.0.drv6 /nix/store/cd4xx7svir1kysm3imwghhr2j2pplm6q-check-lean-ctx.drv