setup
checks.aarch64-linux.pkgs-lean-ctx
· build #7296
· raw
1these 5 derivations will be built:2 /nix/store/vafnsl1wy69xbgban4c99y2fwy5d0h7f-source.drv3 /nix/store/7881ki3kl9x3zh5hims5m3ma0s2d6kgr-lean-ctx-3.11.4-vendor-staging.drv4 /nix/store/ndq7xx90pqi4x46ayd576vaayyqybnl0-lean-ctx-3.11.4-vendor.drv5 /nix/store/bzw3ana4xhjczr4f3ybky6flpfh9idvi-lean-ctx-3.11.4.drv6 /nix/store/qzadcal01apfvgmi2mfllxjmr8r57i6p-check-lean-ctx.drv