Hive had new simulators added for Lean clients. We should include those in our CI. You can look at `ethrex` for an example: https://github.com/lambdaclass/ethrex/blob/0419d684a0e7af0784a2d6ca5fa436456047a184/.github/workflows/pr-main_l1.yaml#L199
Hive had new simulators added for Lean clients. We should include those in our CI. You can look at
ethrexfor an example: https://github.com/lambdaclass/ethrex/blob/0419d684a0e7af0784a2d6ca5fa436456047a184/.github/workflows/pr-main_l1.yaml#L199