elastic-arm-11e60d15: building y2d654k0xy5qz9k0n3p2vcf80ikf5cca-check-lean-ctx.drv