Lean Action CI

126 using mvcgen #241

Sign in to view logs

Triggered via pull request January 22, 2026 16:06

datokrat

synchronize #214

paul/126

Status Success

Total duration 38s

Artifacts –

lean_action_ci.yml

on: pull_request