Lean 4 Build

Lean 4 Build #25

Sign in to view logs

Triggered via pull request August 5, 2026 18:25

synchronize ⁠ e39f6a1

chore/estate-topup

Status Startup failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.