setup
checks.x86_64-linux.pkgs-lean-ctx
· build #6909
· raw
1these 5 derivations will be built:2 /nix/store/7p1k0mvlf9gnc61172fjnmm2zn1z5lmi-source.drv3 /nix/store/gnp8f3kcj7jk8j24n13nf81bnq2rxwkv-lean-ctx-3.11.0-vendor-staging.drv4 /nix/store/9lbvmlcppsnxg0mkaqn4vl1q8fag84qr-lean-ctx-3.11.0-vendor.drv5 /nix/store/48njsdqpqhy801cprvrdzyjsr32ayp6q-lean-ctx-3.11.0.drv6 /nix/store/pc90z6vh4kdha5wykya3y6m7nf2pwnhf-check-lean-ctx.drv