bld1: building chgwqjyxcv9a1yqj6pswk0pw8r0fk1ya-check-lean-ctx.drv