check-lean-ctx
checks.aarch64-darwin.pkgs-lean-ctx
· build #9326
· raw
1mac02: building fvy69vqp9980kadi211kjm3c5wgzy3mx-check-lean-ctx.drv