elastic-arm-3c88ad8c: building l0malqvfqbalzrmar3lsjqjz80gjqm92-check-lean-ctx.drv