GitHub Actions

ci: run Lean Hive simulators in CI #126

Sign in to view logs

This workflow is awaiting approval from a maintainer in #364

Triggered via pull request August 14, 2026 11:56

dicethedev

synchronize #364

dicethedev:ci/run-hive-lean-simulators

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #364

pr_lint_gha.yaml

on: pull_request