Skip to content
Build and test Lean backend

Fix clang-format pre-commit error from #1437 #2056

Sign in to view logs

Fix clang-format pre-commit error from #1437

Fix clang-format pre-commit error from #1437 #2056

Triggered via pull request December 23, 2025 22:22
@jordancarlinjordancarlin
opened #1454
jordancarlin:pre-commit
Status Success
Total duration 6m 36s
Artifacts –

compile-lean.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 notices
2115 tests found (test 1 to 746)
There are 2115 tests, see "Raw output" for the list of tests 1 to 746.
2115 tests found (test 747 to 1306)
There are 2115 tests, see "Raw output" for the list of tests 747 to 1306.
2115 tests found (test 1307 to 1879)
There are 2115 tests, see "Raw output" for the list of tests 1307 to 1879.
2115 tests found (test 1880 to 2115)
There are 2115 tests, see "Raw output" for the list of tests 1880 to 2115.