ci: run Lean Hive simulators in CI#364

dicethedev wants to merge 4 commits into

lambdaclass:mainlambdaclass/ethlambda:mainfrom

dicethedev:ci/run-hive-lean-simulatorsdicethedev/ethlambda:ci/run-hive-lean-simulatorsCopy head branch name to clipboard