Build and test Lean backend

Address Prashanth's feedback #343

Sign in to view logs

Triggered via push December 18, 2025 09:05

nadime15

ext_stateen

Status Failure

Total duration 16m 37s

Artifacts –

compile-lean.yml

on: push

Matrix: build

Annotations

2 errors

build (ubuntu-latest)

Process completed with exit code 1.

build (ubuntu-latest)

lake build failed