Lean Action CI

Put home_page inside lake project dir #31

Sign in to view logs

Triggered via push November 16, 2025 23:23

jcreedcmu

main

Status Success

Total duration 1m 54s

Artifacts –

lean_action_ci.yml

on: push

⚡