Skip to content
Lean Action CI

Extract Embeddings.lean and clean up Minimization module #167

Sign in to view logs

Extract Embeddings.lean and clean up Minimization module

Extract Embeddings.lean and clean up Minimization module #167

Triggered via push January 3, 2026 20:47
@jessealamajessealama
pushed 2207fab
minimization
Status Success
Total duration 2m 24s
Artifacts –

lean_action_ci.yml

on: push
build
2m 21s
build
Fit to window
Zoom out
Zoom in