GitHub Actions

ci: run Lean Hive simulators in CI #127

Sign in to view logs

Re-run triggered August 14, 2026 19:03

MegaRedHand

#364

dicethedev:ci/run-hive-lean-simulators

Status Success

Total duration 10s

Artifacts –

pr_lint_gha.yaml

on: pull_request