Lean Action CI

formatting and edits #7

Sign in to view logs

Triggered via push October 14, 2025 07:18

dranov

popl26-artifact

Status Success

Total duration 1m 10s

Artifacts –

lean_action_ci.yml

on: push