build lean

Merge pull request #264 from trishullab/george #331

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via push February 12, 2025 15:36

GeorgeTsoukalas

main

Status Success

Total duration 22m 59s

Artifacts –

lean.yml

on: push