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