check-lean-ctx
checks.aarch64-darwin.pkgs-lean-ctx
· build #10679
· raw
1mac02: building 5gyv20p41ag74pk9vgkqvs26f1rjwcpv-check-lean-ctx.drv