Skip to content
CI

Set up Lean4 project scaffolding (Phase 0) #1

Sign in to view logs

Set up Lean4 project scaffolding (Phase 0)

Set up Lean4 project scaffolding (Phase 0) #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
26s
26s