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