fix(ci): disable lean-action auto-build to avoid missing native libs · Verilean/hesper@b4d5f87

Triggered via push February 18, 2026 13:08

main

Status Failure

Total duration 8m 22s

Artifacts –

ci.yml

on: push

4 errors and 4 warnings

Process completed with exit code 1.

lake build failed

Process completed with exit code 2.

Process completed with exit code 1.

Cache save failed.

Cache save failed.

ninja 1.13.2 is already installed and up-to-date. To reinstall 1.13.2, run: brew reinstall ninja

cmake 4.2.3 is already installed and up-to-date. To reinstall 4.2.3, run: brew reinstall cmake