setup
checks.aarch64-linux.pkgs-lean-ctx
· build #9425
· raw
1these 5 derivations will be built:2 /nix/store/2rhnlyh54idhgzc7l9m7hcf3iicxa6b2-source.drv3 /nix/store/wxxidxhp5svqzap8fgj3x80rz04irggq-lean-ctx-3.12.0-vendor-staging.drv4 /nix/store/z761dkgcldhxki0lippghg7ml8ffj3gf-lean-ctx-3.12.0-vendor.drv5 /nix/store/32qf643dhyg7xq0dscr0g7qx0fff4idq-lean-ctx-3.12.0.drv6 /nix/store/56k78j0lhrcbybn8y4w7v016yknrs2yz-check-lean-ctx.drv