Skip to content
Lean (build)

Initialize Lean project #2

Sign in to view logs

Initialize Lean project

Initialize Lean project #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
20s
20s