setup
checks.aarch64-linux.pkgs-lean-ctx
· build #7199
· raw
1these 4 derivations will be built:2 /nix/store/fjyssji3ywsrkxfcrc0z3s9wckhwyz3f-lean-ctx-3.11.2-vendor-staging.drv3 /nix/store/5l61qrz3hx338rkppal0rzw9bca9s3rq-lean-ctx-3.11.2-vendor.drv4 /nix/store/ii7n457jqn2vadk0rmm7xrmysbwzing9-lean-ctx-3.11.2.drv5 /nix/store/ga5jkcgi11cx2qlilsgyj40vzz8qh90y-check-lean-ctx.drv