Lean (build)

Add linters #92

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request February 28, 2024 05:05

eyihluyc

opened #26

linters

Status Success

Total duration 56s

Artifacts –

lean.yml

on: pull_request