Lean Action CI

Trying to understand localR #57

Sign in to view logs

Triggered via push March 3, 2026 15:59

paulcadman

reader-wip

Status Success

Total duration 25s

Artifacts –

lean_action_ci.yml

on: push