Lean Action CI

Readme: partial solutions are welcome #103

Sign in to view logs

Triggered via push July 8, 2025 10:16

TwoFX

markus/readme-partial-solutions

Status Success

Total duration 37s

Artifacts –

lean_action_ci.yml

on: push

⚡