Build and test Lean backend

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

Sign in to view logs

Triggered via push December 24, 2025 04:11

github-merge-queue[bot]

master

Status Success

Total duration 6m 34s

Artifacts –

compile-lean.yml

on: push

Matrix: build

Annotations

1 warning

build (ubuntu-latest)

Cache save failed.