Add Lean action in CI (#10) #1

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push August 27, 2024 23:29

zhassan-aws

main

Status Success

Total duration 44s

Artifacts –

lean_action_ci.yml

on: push