Lean Action CI

Some clean up and preperation for the last sorry #18

Sign in to view logs

Triggered via push March 1, 2025 16:21

SamuelLess

main

Status Success

Total duration 7m 26s

Artifacts –

lean_action_ci.yml

on: push