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