Skip to content

ci: run Lean Hive simulators in CI - #364

Open
dicethedev wants to merge 21 commits into
lambdaclass:mainfrom
dicethedev:ci/run-hive-lean-simulators
Open

ci: run Lean Hive simulators in CI#364
dicethedev wants to merge 21 commits into
lambdaclass:mainfrom
dicethedev:ci/run-hive-lean-simulators

ci: limit Lean Hive CI to stable suites

7ac28f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build Docker
succeeded Aug 14, 2026 in 20m 26s