Build and test Lean backend

Fix clang-format pre-commit error from #1437 (#1454) #2057

Sign in to view logs

Triggered via push December 24, 2025 03:41

github-merge-queue[bot]

gh-readonly-queue/master/pr-1454-4feb6ac428624600cddbb9e176c1bb54cb350a8b

Status Success

Total duration 6m 38s

Artifacts –

compile-lean.yml

on: push

Matrix: build