setup
checks.x86_64-linux.pkgs-lean-ctx
· build #5741
· raw
1these 5 derivations will be built:2 /nix/store/gwy327jpcsidaff77xjj5615san09363-source.drv3 /nix/store/5sci6rbf3wpvmjg8ixqw8k7hj0lmnzmh-lean-ctx-3.10.4-vendor-staging.drv4 /nix/store/kll021fndba3ywg9d5fj4f85ja72gyv9-lean-ctx-3.10.4-vendor.drv5 /nix/store/h2k9n7jx06xnjlpkc19g264jsk5d0469-lean-ctx-3.10.4.drv6 /nix/store/57wpxfigqiwsqil9csvr2swgg87imzdh-check-lean-ctx.drv