Lean Action CI

fixed root file imports #13

Triggered via push October 4, 2025 17:23

main

Status Success

Total duration 1h 26m 12s

Artifacts 1

lean_action_ci.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	55.2 MB	`sha256:05c840d6a00648fe69492c7964c8e2a7518450685c131f3ad2c5547c02dcc2ab`