Skip to content
melpazoid

Locate root using "lean-toolchain", not "lakefile.lean" #64

Sign in to view logs

Locate root using "lean-toolchain", not "lakefile.lean"

Locate root using "lean-toolchain", not "lakefile.lean" #64

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
3m 18s
3m 18s