Build and test Lean backend

Fix module dep to be more accurate; not sure why the previous version… #347

Sign in to view logs

Triggered via push December 19, 2025 03:38

pmundkur

ext_stateen

Status Success

Total duration 12m 37s

Artifacts –

compile-lean.yml

on: push

Matrix: build