elastic-arm-7aee7436: building 5paflgpq2jnk2j81bbjj2zl3cw669ck3-check-lean-ctx.drv