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